СТ |
Using PVS to Prove Some Theorems of David Parnas |
1994 |
Rushby J., Srivas M. |
|
|
|
Lecture Notes in Computer Science |
18.06.1994 |
СТ |
Theorem Proving for Verification |
2001 |
Rushby J. |
|
|
|
Lecture Notes in Computer Science |
04.11.2001 |
СТ |
Subtypes for Specifications |
1997 |
Rushby J. |
|
|
|
Lecture Notes in Computer Science |
03.10.1997 |
СТ |
Mechanizing Formal Methods: Opportunities and Chhallenges |
1995 |
Rushby J. |
Lecture Notes in Computer Science |
|
|
ZUM 95: The Z Formal Specification Notation |
06.10.1995 |
СТ |
Mechanized Formal Methods: Progress and Prospects |
1996 |
Rushby J. |
|
|
|
Lecture Notes in Computer Science |
24.12.1996 |
СТ |
Integrated Formal Verification: Using Model Checking with Automated Abstraction, Invariant Generation, and Theorem Proving |
1999 |
Rushby J. |
|
|
|
Lecture Notes in Computer Science |
26.10.1999 |
СТ |
Formal Verification of Algorithms for Critical Systems |
1991 |
Rushby J., Henke F. |
|
|
|
Software Engineering Notes |
03.04.1992 |
СТ |
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 |
СТ |
Automated Test Generation and Verified Software |
2008 |
Rushby J. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.10.2008 |
П |
Applications of Theorem Proving and Model Checking |
2002 |
Rushby J. |
|
|
Techn.Univ.Munchen |
|
24.08.2002 |
СТ |
An Operational Semantics for Stateflow |
2004 |
Hamon G., Rushby J. |
|
|
|
Lecture Notes in Computer Science |
16.04.2004 |
М |
A Tutorial Introduction to PVS |
1995 |
Crow J., Owre S., Rushby J., Shankar N., Srivas M. |
|
|
Stanford Univ. |
|
28.06.1997 |