Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Share This Author
PVS: A Prototype Verification System
- S. Owre, J. Rushby, N. Shankar
- Computer ScienceCADE
- 15 June 1992
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
- S. Owre, J. Rushby, N. Shankar, F. V. Henke
- Computer ScienceIEEE Trans. Software Eng.
- 1 February 1995
TLDR
PVS: Combining Specification, Proof Checking, and Model Checking
- N. Shankar
- Computer ScienceFMCAD
- 3 August 1996
We claim that no single technique such as rewriting, BDDs, or model checking is effective for all aspects of hardware verification. Many examples need the careful integration of these techniques. We…
Decision problems for propositional linear logic
- P. Lincoln, John C. Mitchell, A. Scedrov, N. Shankar
- MathematicsProceedings [] 31st Annual Symposium on…
- 29 April 1992
TLDR
A Tutorial Introduction to PVS
- J. Crow, S. Owre, J. Rushby, N. Shankar, M. Srivas
- Physics
- 1998
TLDR
The SAL Language Manual
- L. D. Moura, S. Owre, N. Shankar
- Computer Science
- 2003
TLDR
ICS: Integrated Canonizer and Solver
- J. Filliâtre, S. Owre, H. Ruess, N. Shankar
- Computer ScienceCAV
- 18 July 2001
TLDR
Sal 2
- L. D. Moura, S. Owre, A. Tiwari
- Computer ScienceCAV
- 2004
TLDR
Abstract and Model Check While You Prove
- Hassen Saïdi, N. Shankar
- Computer Science, MathematicsCAV
- 6 July 1999
TLDR
An Overview of SAL
- S. Bensalem, Vijay Ganesh, N. Shankar
- Computer Science
- 1 June 2000
TLDR
...
...