( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Microarchitecture Verification by Compositional Model Checking.

, и . CAV, том 2102 из Lecture Notes in Computer Science, стр. 396-410. Springer, (2001)

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)An Interpolating Theorem Prover.. TACAS, том 2988 из Lecture Notes in Computer Science, стр. 16-30. Springer, (2004)Minimum Satisfying Assignments for SMT., , , и . CAV, том 7358 из Lecture Notes in Computer Science, стр. 394-409. Springer, (2012)Lazy Annotation for Program Testing and Verification.. CAV, том 6174 из Lecture Notes in Computer Science, стр. 104-118. Springer, (2010)Interpolants and Symbolic Model Checking.. VMCAI, том 4349 из Lecture Notes in Computer Science, стр. 89-90. Springer, (2007)Analysis of digital circuits through symbolic reduction., и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 10 (11): 1356-1371 (1991)A Case Study in Analytic Protocol Analysis in ACL2., , , , и . ACL2, том 393 из EPTCS, стр. 50-66. (2023)Proof Rules for Model Checking Systems with Data.. FSTTCS, том 1530 из Lecture Notes in Computer Science, стр. 270. Springer, (1998)Deciding Global Partial-Order Properties., , и . ICALP, том 1443 из Lecture Notes in Computer Science, стр. 41-52. Springer, (1998)