( en | de | ru )

 

Disambiguation of "McMillan, Kenneth L."

Author of the publication

copydeleteadd this publication to your clipboard
Lazy Annotation for Program Testing and Verification.

. CAV, volume 6174 of Lecture Notes in Computer Science, page 104-118. Springer, (2010)

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. You can also use the button next to the name to display some publications already assigned to the person.

David McMillan

Kenneth Froese

Kenneth Anders

Kenneth Simon

Kenneth Ndyabawe

 

Other publications of authors with the same name

An Interpolating Theorem Prover.. TACAS, volume 2988 of Lecture Notes in Computer Science, page 16-30. Springer, (2004)Minimum Satisfying Assignments for SMT., , , and . CAV, volume 7358 of Lecture Notes in Computer Science, page 394-409. Springer, (2012)Lazy Annotation for Program Testing and Verification.. CAV, volume 6174 of Lecture Notes in Computer Science, page 104-118. Springer, (2010)Interpolants and Symbolic Model Checking.. VMCAI, volume 4349 of Lecture Notes in Computer Science, page 89-90. Springer, (2007)Deciding Global Partial-Order Properties., , and . ICALP, volume 1443 of Lecture Notes in Computer Science, page 41-52. Springer, (1998)Liveness by Invisible Invariants., , , and . FORTE, volume 4229 of Lecture Notes in Computer Science, page 356-371. Springer, (2006)Invisible Invariants and Abstract Interpretation., and . SAS, volume 6887 of Lecture Notes in Computer Science, page 249-262. Springer, (2011)Analysis of digital circuits through symbolic reduction., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 10 (11): 1356-1371 (1991)Theory of latency-insensitive design., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 20 (9): 1059-1076 (2001)Proof Rules for Model Checking Systems with Data.. FSTTCS, volume 1530 of Lecture Notes in Computer Science, page 270. Springer, (1998)