( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Sequential Circuit Verification Using Symbolic Model Checking.

, , , и . DAC, стр. 46-51. IEEE Computer Society Press, (1990)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

David McMillan

Kenneth Froese

Kenneth Anders

Kenneth Simon

Kenneth Ndyabawe

 

Другие публикации лиц с тем же именем

Liveness by Invisible Invariants., , , и . FORTE, том 4229 из Lecture Notes in Computer Science, стр. 356-371. Springer, (2006)Invisible Invariants and Abstract Interpretation., и . SAS, том 6887 из Lecture Notes in Computer Science, стр. 249-262. Springer, (2011)Minimum Satisfying Assignments for SMT., , , и . CAV, том 7358 из Lecture Notes in Computer Science, стр. 394-409. Springer, (2012)An Interpolating Theorem Prover.. TACAS, том 2988 из Lecture Notes in Computer Science, стр. 16-30. Springer, (2004)Interpolants and Symbolic Model Checking.. VMCAI, том 4349 из Lecture Notes in Computer Science, стр. 89-90. Springer, (2007)Deciding Global Partial-Order Properties., , и . ICALP, том 1443 из Lecture Notes in Computer Science, стр. 41-52. Springer, (1998)Proof Rules for Model Checking Systems with Data.. FSTTCS, том 1530 из Lecture Notes in Computer Science, стр. 270. Springer, (1998)An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment., , , , и . CHARME, том 3725 из Lecture Notes in Computer Science, стр. 254-268. Springer, (2005)Analysis of digital circuits through symbolic reduction., и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 10 (11): 1356-1371 (1991)Theory of latency-insensitive design., , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 20 (9): 1059-1076 (2001)