( en | de | ru )

 

Disambiguation of "McMillan, Kenneth L."

Author of the publication

copydeleteadd this publication to your clipboard
Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols.

, , , , , , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 1878-1904 (October 2023)

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 Simon

Kenneth Anders

Kenneth Froese

Kenneth Ndyabawe

 

Other publications of authors with the same name

Modular specification and verification of a cache-coherent interface.. FMCAD, page 109-116. IEEE, (2016)Toward Property-Driven Abstraction for Heap Manipulating Programs.. ATVA, volume 4762 of Lecture Notes in Computer Science, page 17-18. Springer, (2007)Circular Compositional Reasoning about Liveness.. CHARME, volume 1703 of Lecture Notes in Computer Science, page 342-345. Springer, (1999)Microarchitecture Verification by Compositional Model Checking., and . CAV, volume 2102 of Lecture Notes in Computer Science, page 396-410. Springer, (2001)Interpolant-Based Transition Relation Approximation., and . CAV, volume 3576 of Lecture Notes in Computer Science, page 39-51. Springer, (2005)Hierarchical Representations of Discrete Functions, with Application to Model Checking.. CAV, volume 818 of Lecture Notes in Computer Science, page 41-54. Springer, (1994)Lazy Abstraction with Interpolants.. CAV, volume 4144 of Lecture Notes in Computer Science, page 123-136. Springer, (2006)Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping., , , , and . Formal Methods Syst. Des., 10 (2/3): 137-148 (1997)Abstractions from proofs., , , and . ACM SIGPLAN Notices, 49 (4S): 79-91 (2014)Interpolation and Model Checking.. Handbook of Model Checking, Springer, (2018)