( en | de | ru )

 

Disambiguation of "McMillan, Kenneth L."

Author of the publication

copydeleteadd this publication to your clipboard
Symbolic Model Checking: 10^20 States and Beyond

, , , , and . LICS, page 428-439. IEEE Computer Society, (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. 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

Symbolic model checking for sequential circuit verification., , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 13 (4): 401-424 (1994)Analysis of digital circuits through symbolic reduction., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 10 (11): 1356-1371 (1991)Sibling-substitution-based BDD minimization using don't cares., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 19 (1): 44-55 (2000)Induction duality: primal-dual search for invariants., , , , and . Proc. ACM Program. Lang., 6 (POPL): 1-29 (2022)Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols., , , , , , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 1878-1904 (October 2023)Interpolants and Symbolic Model Checking.. VMCAI, volume 4349 of Lecture Notes in Computer Science, page 89-90. Springer, (2007)Liveness by Invisible Invariants., , , and . FORTE, volume 4229 of Lecture Notes in Computer Science, page 356-371. Springer, (2006)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)