|
СТ |
Abstractions from Proofs |
2004 |
Henzinger T. A., Jhala R., Majumdar R., Mcmillan K. L. |
|
|
|
POPL 2004 |
09.06.2004 |
|
СТ |
Interpolation and SAT-Based Model Checking |
2003 |
Mcmillan K. L. |
|
|
|
Lecture Notes in Computer Science |
19.09.2003 |
|
СТ |
Verification of an Implementation of Tomasulo s Algorithm by Compositional Model Checking |
1998 |
Mcmillan K. L. |
|
|
|
Lecture Notes in Computer Science |
03.07.1998 |
|
СТ |
Trace Theoretic Verification of Asynchronous Circuits using Unfoldings |
1995 |
Mcmillan K. L. |
|
|
|
Lecture Notes in Computer Science |
27.07.1995 |
|
СТ |
Using Formal Verification/Analysis Methods on the Critical Path in System Design: A Case Study |
1995 |
Eiriksson A. Th., Mcmillan K. L. |
|
|
|
Lecture Notes in Computer Science |
27.07.1995 |
|
СТ |
Hierarchical Representations of Discrete Functions, with Application to Model Checking |
1994 |
Mcmillan K. L. |
|
|
|
Lecture Notes in Computer Science |
21.07.1994 |
