( en | de | ru )

 

Disambiguierung von "McMillan, Kenneth L."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Compositional Model Checking

, , und . LICS, Seite 353-362. IEEE Computer Society, (1989)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

David McMillan

Kenneth Froese

Kenneth Anders

Kenneth Simon

Kenneth Ndyabawe

 

Weitere Publikationen von Autoren mit dem selben Namen

Analysis of digital circuits through symbolic reduction., und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 10 (11): 1356-1371 (1991)A Case Study in Analytic Protocol Analysis in ACL2., , , , und . ACL2, Volume 393 von EPTCS, Seite 50-66. (2023)Learning Abstractions for Program Synthesis., , , und . CAV (1), Volume 10981 von Lecture Notes in Computer Science, Seite 407-426. Springer, (2018)Beautiful Interpolants., und . CAV, Volume 8044 von Lecture Notes in Computer Science, Seite 313-329. Springer, (2013)Abstractions from proofs., , , und . POPL, Seite 232-244. ACM, (2004)Invisible Invariants and Abstract Interpretation., und . SAS, Volume 6887 von Lecture Notes in Computer Science, Seite 249-262. Springer, (2011)Liveness by Invisible Invariants., , , und . FORTE, Volume 4229 von Lecture Notes in Computer Science, Seite 356-371. Springer, (2006)Proof Rules for Model Checking Systems with Data.. FSTTCS, Volume 1530 von Lecture Notes in Computer Science, Seite 270. Springer, (1998)An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment., , , , und . CHARME, Volume 3725 von Lecture Notes in Computer Science, Seite 254-268. Springer, (2005)Minimum Satisfying Assignments for SMT., , , und . CAV, Volume 7358 von Lecture Notes in Computer Science, Seite 394-409. Springer, (2012)