|
СТ |
Inference Systems for Logical Algorithms |
2005 |
Shankar N. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
21.02.2006 |
|
СТ |
Verification by Abstraction |
2003 |
Shankar N. |
|
|
|
Lecture Notes in Computer Science |
25.12.2003 |
|
СТ |
Principles and Pragmatics of Subtyping in PVS |
2000 |
Shankar N., Owre S. |
|
|
|
Lecture Notes in Computer Science |
13.10.2000 |
|
СТ |
Combining Theorem Proving and Model Checking through Symbolic Analysis |
2000 |
Shankar N. |
|
|
|
Lecture Notes in Computer Science |
15.09.2000 |
|
СТ |
Abstract and Model Check While You Prove |
1999 |
Saidi H., Shankar N. |
|
|
|
Lecture Notes in Computer Science |
16.07.1999 |
|
СТ |
Lazy Compositional Verification |
1998 |
Shankar N. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.01.1999 |
|
М |
A Tutorial Introduction to PVS |
1995 |
Crow J., Owre S., Rushby J., Shankar N., Srivas M. |
|
|
Stanford Univ. |
|
28.06.1997 |
|
СТ |
An Integration of Model Checking with Automated Proof Checking |
1995 |
Rajan S., Shankar N., Srivas M. K. |
|
|
|
Lecture Notes in Computer Science |
26.07.1995 |
|
СТ |
Towards a Duration Calculus Proof Assistant in PVS |
1994 |
Skakkebaek J. U., Shankar N. |
|
|
|
Lecture Notes in Computer Science |
19.10.1994 |
|
СТ |
Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned |
1993 |
Owre S., Rushby J., Shankar N., Von Henke F. |
|
|
|
Lecture Notes in Computer Science |
27.05.1993 |
