Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
PVS: A Prototype Verification System
- S. Owre, J. Rushby, N. Shankar
- Computer Science
- CADE
- 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 Science
- IEEE Trans. Software Eng.
- 1 February 1995
TLDR
PVS: Combining Specification, Proof Checking, and Model Checking
- S. Owre, S. Rajan, J. Rushby, N. Shankar, M. Srivas
- Computer Science
- CAV
- 3 August 1996
TLDR
Decision Problems for Propositional Linear Logic
- P. Lincoln, J. Mitchell, A. Scedrov, N. Shankar
- Mathematics, Computer Science
- Ann. Pure Appl. Log.
- 29 April 1992
TLDR
The SAL Language Manual
- L. D. Moura, S. Owre, N. Shankar
- Computer Science
- 2003
SAL stands for Symbolic Analysis Laboratory. It is a framework for combining different tools for abstraction, program analysis, theorem proving, and model checking toward the calculation of… Expand
- 127
- 26
A Tutorial Introduction to PVS
- J. Crow, S. Owre, J. Rushby, N. Shankar, M. Srivas
- Computer Science
- 1998
TLDR
- 290
- 24
- PDF
ICS: Integrated Canonizer and Solver
- J. Filliâtre, S. Owre, H. Ruess, N. Shankar
- Computer Science
- CAV
- 18 July 2001
TLDR
Sal 2
- L. D. Moura, S. Owre, +4 authors A. Tiwari
- Computer Science
- CAV
- 2004
TLDR
Abstract and Model Check While You Prove
- H. Saïdi, N. Shankar
- Computer Science
- CAV
- 6 July 1999
TLDR
An Overview of SAL
- S. Bensalem, Vijay Ganesh, +7 authors N. Shankar
- Computer Science
- 1 June 2000
TLDR
- 212
- 12
- PDF
...
1
2
3
4
5
...