Sam Owre
Sam Owre
Bestätigte E-Mail-Adresse bei sri.com
Titel
Zitiert von
Zitiert von
Jahr
PVS: A prototype verification system
S Owre, JM Rushby, N Shankar
International Conference on Automated Deduction, 748-752, 1992
22191992
Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS
S Owre, J Rushby, N Shankar, F Von Henke
IEEE Transactions on Software Engineering 21 (2), 107-125, 1995
7801995
PVS: Combining specification, proof checking, and model checking
S Owre, S Rajan, JM Rushby, N Shankar, M Srivas
International Conference on Computer Aided Verification, 411-414, 1996
6691996
A tutorial introduction to PVS
J Crow, S Owre, J Rushby, N Shankar, M Srivas
WIFT, 1995
4331995
SAL 2
L De Moura, S Owre, H Rueß, J Rushby, N Shankar, M Sorea, A Tiwari
International Conference on Computer Aided Verification, 496-500, 2004
3372004
PVS language reference
S Owre, N Shankar, JM Rushby, DWJ Stringer-Calvert
Computer Science Laboratory, SRI International, Menlo Park, CA 1 (2), 21, 1999
3011999
An overview of SAL
S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ...
NASA CONFERENCE PUBLICATION, 187-195, 2000
2392000
Computing abstractions of infinite state systems compositionally and automatically
S Bensalem, Y Lakhnech, S Owre
International Conference on Computer Aided Verification, 319-331, 1998
2221998
The PVS proof checker: A reference manual
N Shankar, S Owre, JM Rushby
Computer Science Laboratory, SRI International, Menlo Park, CA 3, 1993
2081993
PVS prover guide
N Shankar, S Owre, JM Rushby, DWJ Stringer-Calvert
Computer Science Laboratory, SRI International, Menlo Park, CA 1, 11-12, 2001
2072001
PVS system guide
S Owre, N Shankar, JM Rushby, DWJ Stringer-Calvert
Computer Science Laboratory, SRI International, Menlo Park, CA 1 (5), 7, 1999
1961999
Subtypes for specifications: Predicate subtyping in PVS
J Rushby, S Owre, N Shankar
IEEE Transactions on Software Engineering 24 (9), 709-720, 1998
1911998
The PVS specification language
S Owre, N Shankar, JM Rushby
Computer Science Laboratory, SRI International, Menlo Park, CA 94025, 1993
1881993
ICS: Integrated Canonizer and Solver?
JC Filliâtre, S Owre, H Rue, N Shankar
International Conference on Computer Aided Verification, 246-249, 2001
1862001
User guide for the PVS specification and verification system (Beta release)
S Owre, N Shankar, JM Rushby
Computer Science Laboratory, SRI International, Menlo Park, CA 94025, 1993
1721993
The SAL language manual
L De Moura, S Owre, N Shankar
Computer Science Laboratory, SRI International, Menlo Park, Tech. Rep. CSL-01-01, 2003
1412003
The formal semantics of PVS
S Owre, N Shankar
1231999
Incremental verification by abstraction
Y Lakhnech, S Bensalem, S Berezin, S Owre
International Conference on Tools and Algorithms for the Construction and …, 2001
1172001
PVS: an experience report
S Owre, JM Rushby, N Shankar, DWJ Stringer-Calvert
International Workshop on Current Trends in Applied Formal Methods, 338-345, 1998
1021998
InVeSt: A tool for the verification of invariants
S Bensalem, Y Lakhnech, S Owre
International Conference on Computer Aided Verification, 505-510, 1998
851998
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20