СТ |
A Tool for Checking ANSI-C Programs |
2004 |
Clarke E., Kroening D., Lerda F. |
|
|
|
Lecture Notes in Computer Science |
15.05.2004 |
СТ |
Completeness and Complexity of Bounded Model Checking |
2004 |
Clarke E., Kroening D., Ouaknine J., Strichman O. |
|
|
|
Lecture Notes in Computer Science |
11.02.2004 |
СТ |
Model Checking: Back and Forth between Hardware and Software |
2008 |
Clarke E., Gupta A., Jain H., Veith H. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.10.2008 |
СТ |
Partial Order Reductions for Security Protocol Verification |
2000 |
Clarke E., Jha S., Marrero W. |
|
|
|
Lecture Notes in Computer Science |
26.04.2000 |
СТ |
ProbVerus: Probabilistic Symbolic Model Checking |
1999 |
Hartonas-Garmhousen V., Campos S., Clarke E. |
|
|
|
Lecture Notes in Computer Science |
18.06.1999 |
СТ |
Progress on the State Explosion Problem in Model Checking |
2001 |
Clarke E., Grumberg O., Jha S., Lu Y., Veith H. |
|
|
|
Lecture Notes in Computer Science |
04.04.2001 |
СТ |
Verification Tools for Finite-State Concurrent Systems |
1994 |
Clarke E., Grumberg O., Long D. |
|
|
|
Lecture Notes in Computer Science |
05.08.1994 |
СТ |
Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems |
1995 |
Campos S., Clarke E., Marrero W., Minea M. |
|
|
|
SIGPLAN Notices |
25.12.1995 |