|
СТ |
State/Event-Based Software Model Checking |
2004 |
Chaki S., Clarke E. M., Ouaknine J., Sharygina N., Sinha N. |
|
|
|
Lecture Notes in Computer Science |
21.05.2004 |
|
М |
Model Checking |
1999 |
Clarke E. M., Grumberg O., Peled D. A. |
|
|
|
|
11.07.2001 |
|
СТ |
Multiple State and Single State Tableaux for Combining Local and Global Model Checking |
1999 |
Biere A., Clarke E. M., Zhu Y. |
|
|
|
Lecture Notes in Computer Science |
20.11.1999 |
|
СТ |
Compositional Reasoning in Model Checking |
1998 |
Berezin S., Campos S., Clarke E. M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.01.1999 |
|
П |
Symbol Model Checking |
1996 |
Clarke E. M. |
|
|
Basic Research in Computer Science |
|
21.01.1997 |
|
СТ |
Symmetry and Induction in Model Checking |
1995 |
Clarke E. M., Jha S. |
Lecture Notes in Computer Science |
|
|
Computer Science Today |
01.12.1995 |
|
СТ |
Verifying Parameterized Networks using Abstraction and Regular Languages |
1995 |
Clarke E. M., Grumberg O., Jha S. |
Lecture Notes in Computer Science |
|
|
CONCUR 95: Concurrency Theory |
17.10.1995 |
|
СТ |
Efficient Verification of Parallel Real-Time Systems |
1993 |
Yoneda T., Shibayama A., Schlingloft B. -H., Clarke E. M. |
|
|
|
Lecture Notes in Computer Science |
20.08.1993 |
|
СТ |
Exploiting Symmetry In Temporal Logic Model Checking |
1993 |
Clarke E. M., Filkorn T., Jha S. |
|
|
|
Lecture Notes in Computer Science |
20.08.1993 |
