( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verification of the Futurebus+ Cache Coherence Protocol.

, , , , , , и . CHDL, том A-32 из IFIP Transactions, стр. 15-30. North-Holland, (1993)

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

 

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

Symbolic model checking for sequential circuit verification., , , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 13 (4): 401-424 (1994)Analysis of digital circuits through symbolic reduction., и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 10 (11): 1356-1371 (1991)Sibling-substitution-based BDD minimization using don't cares., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 19 (1): 44-55 (2000)Induction duality: primal-dual search for invariants., , , , и . Proc. ACM Program. Lang., 6 (POPL): 1-29 (2022)Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols., , , , , , и . Proc. ACM Program. Lang., 7 (OOPSLA2): 1878-1904 (октября 2023)Interpolants and Symbolic Model Checking.. VMCAI, том 4349 из Lecture Notes in Computer Science, стр. 89-90. Springer, (2007)Invisible Invariants and Abstract Interpretation., и . SAS, том 6887 из Lecture Notes in Computer Science, стр. 249-262. Springer, (2011)Liveness by Invisible Invariants., , , и . FORTE, том 4229 из Lecture Notes in Computer Science, стр. 356-371. Springer, (2006)Deciding Global Partial-Order Properties., , и . ICALP, том 1443 из Lecture Notes in Computer Science, стр. 41-52. Springer, (1998)An Interpolating Theorem Prover.. TACAS, том 2988 из Lecture Notes in Computer Science, стр. 16-30. Springer, (2004)