|
СТ |
Verifying Liveness by Augmented Abstraction |
1999 |
Kesten Y., Pnueli A. |
|
|
|
Lecture Notes in Computer Science |
12.11.1999 |
|
СТ |
A Perfecto Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software |
1999 |
Kesten Y., Klein A., Pnueli A., Raanan G. |
|
|
|
Lecture Notes in Computer Science |
30.10.1999 |
|
СТ |
Modularization and Abstraction: The Keys to Practical Formal Verification |
1998 |
Kesten Y., Pnueli A. |
|
|
|
Lecture Notes in Computer Science |
02.09.1998 |
|
СТ |
Algorithmic Verification of Linesr Temporal Logic Specifications |
1998 |
Kesten Y., Pnueli A., Raviv L. |
|
|
|
Lecture Notes in Computer Science |
11.08.1998 |
|
СТ |
Temporal Verification of Simulation and Refinement |
1994 |
Kesten Y., Manna Z., Pnueli A. |
|
|
|
Lecture Notes in Computer Science |
05.08.1994 |
|
СТ |
Integration Graphs: A Class of Decidable Hybrid Systems |
1993 |
Kesten Y., Pnueli A., Sifakis J., Yovine S. |
|
|
|
Lecture Notes in Computer Science |
09.12.1993 |
|
СТ |
A Decision Algorithm for Full Propositional Temporal Logic |
1993 |
Kesten Y., Manna Z., Mcguire H., Pnueli A. |
|
|
|
Lecture Notes in Computer Science |
20.08.1993 |
