S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert. PVS Language Reference. Computer Science Laboratory, SRI International, Menlo Park, CA, December 2001. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Computer Algebra Meets Automated Theorem Proving.. - Adams, Dunstan.. (2001) (5 citations) Self-citation (Owre) (Correct)
No context found.
Owre, S., Shankar, N., Rushby, J. M., and Stringer-Calvert, D. W. J. PVS System Guide. Computer Science Laboratory, SRI International, Menlo Park, CA, Sept. 1999.
Computer Algebra Meets Automated Theorem Proving.. - Adams, Dunstan.. (2001) (5 citations) Self-citation (Owre) (Correct)
No context found.
Owre, S., Shankar, N., Rushby, J. M., and Stringer-Calvert, D. W. J. PVS Language Reference. Computer Science Laboratory, SRI International, Menlo Park, CA, Sept. 1999.
Principled Assuredly Trustworthy Composable Architectures - Neumann (2004) (2 citations) Self-citation (Report) (Correct)
No context found.
S. Owre and N. Shankar. Theory interpretations in PVS. Technical Report SRI-CSL01 -01, Computer Science Laboratory, SRI International, Menlo Park, CA, April 2001. http://www.csl.sri.com/~owre.
Technical Report SRI-CSL-03-05 - November Updated January Self-citation (Report) (Correct)
No context found.
Sam Owre and N. Shankar. Theory interpretations in PVS. Technical Report SRI-CSL-01-01, Computer Science Laboratory, SRI International, Menlo Park, CA, April 2001. 22
Verifying OWL and ORL Ontologies in PVS - Jin Song Dong (Correct)
No context found.
S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert. PVS Language Reference. Computer Science Laboratory, SRI International, Menlo Park, CA, December 2001.
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
No context found.
S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert. PVS System Guide. Computer Science Laboratory, SRI International, Menlo Park, CA, September 1999.
Symbolic Interpretation of Legacy Assembly Language - Jacques Carette Pulak (Correct)
No context found.
S. Owre, N. Shankar, J. Rushby, and D. Stringer-Calvert. PVS System Guide, Language Reference and Prover Guide. Computer Science Laboratory, SRI International, Menlo Park, CA, November 2001.
Manifest Security for Distributed Information - Crary, Harper, Pfenning.. (2006) (Correct)
No context found.
S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert. PVS System Guide. Computer Science Laboratory, SRI International, Menlo Park, CA, September 1999.
Deriving Cryptographically Sound Implementations Using.. - Backes, Jacobi.. (2002) (8 citations) (Correct)
No context found.
S. Owre and N. Shankar. Abstract datatypes in PVS. Technical report, Computer Science Laboratory, SRI International, 1993.
Cryptographically Sound Analysis of Security Protocols - Backes (2002) (7 citations) (Correct)
No context found.
S. Owre and N. Shankar. Abstract datatypes in PVS. Technical report, Computer Science Laboratory, SRI International, 1993.
Formal System Development Using Method Integration: a Case Study - Aredo, Owe (2004) (Correct)
No context found.
S. Owre, N. Shankar, J. Rushby, and D. W. Stringer-Calvert. PVS System Guide, version 2.3. Computer Science Laboratory, SRI International, Melon Park, CA, September 1999.
A Mechanized Proof Environment for the Convenient Computations .. - Glusman, Katz (2002) (Correct)
No context found.
S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert. PVS Language Reference. Computer Science Laboratory, SRI International, Menlo Park, CA, September 1998. 31
The Semantics of C++ Data Types: Towards Verifying Low-Level.. - Hohmuth, Tews (2003) (Correct)
No context found.
S. Owre and N. Shankar. Theory interpretations in pvs. Technical Report SRI-CSL01 -01, Computer Science Laboratory, SRI International, Menlo Park, CA, April 2001.
The Semantics of C++ Data Types: Towards Verifying Low-Level.. - Hohmuth, Tews (2003) (Correct)
No context found.
S. Owre and N. Shankar. Theory interpretations in pvs. Technical Report SRI-CSL01 -01, Computer Science Laboratory, SRI International, Menlo Park, CA, April 2001.
Theorem Proving in Higher Order Logics - Basin, (eds.) (2003) (Correct)
No context found.
S. Owre and N. Shankar. Theory interpretations in pvs. Technical Report SRI-CSL01 -01, Computer Science Laboratory, SRI International, Menlo Park, CA, April 2001.
Achieving Principled Assuredly Trustworthy - Composable Systems And (Correct)
No context found.
S. Owre and N. Shankar. Theory interpretations in PVS. Technical Report SRI-CSL-01-01, Computer Science Laboratory, SRI International, Menlo Park, CA, April 2001. http://www.csl.sri.com/owre.
The Semantics of C++ Data Types: Towards Verifying Low-Level.. - Hohmuth, Tews (2003) (Correct)
No context found.
S. Owre and N. Shankar. Theory interpretations in pvs. Technical Report SRI-CSL01 -01, Computer Science Laboratory, SRI International, Menlo Park, CA, April 2001.
PSOS Revisited - Neumann, Feiertag (2003) (1 citation) (Correct)
No context found.
S. Owre and N. Shankar. Theory interpretations in PVS. Technical Report SRI-CSL-01-01, Computer Science Laboratory, SRI International, Menlo Park, CA, April 2001. http://www.csl.sri.com/owre.
Source Code Verification of a Secure Payment Applet - Jacobs, Oostdijk, Warnier (2004) (2 citations) (Correct)
No context found.
S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert. PVS System Guide. Computer Science Laboratory, SRI International, Menlo Park, CA, USA, September 1999. Available at http://pvs.csl.sri.com/.
Voting using Java Card smart cards: A case study - Breunesse, Jacobs, Oostdijk (2002) (Correct)
No context found.
S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert. PVS System Guide. Computer Science Laboratory, SRI International, Menlo Park, CA, USA, September 1999. Available at http://pvs.csl.sri.com/.
Information-Intensive Proof Technology - Constable (2003) (Correct)
No context found.
Sam Owre and Natarajan Shankar. The formal semantics of PVS. Technical Report SRI-CSL-97-2, Computer Science Laboratory, SRI International, Menlo Park, CA, aug 1997.
The Semantics of C++ Data Types: Towards Verifying Low-Level.. - Hohmuth, Tews (2003) (Correct)
No context found.
S. Owre and N. Shankar. Theory interpretations in pvs. Technical Report SRI-CSL01 -01, Computer Science Laboratory, SRI International, Menlo Park, CA, April 2001.
Deriving Cryptographically Sound Implementations Using.. - Backes, Jacobi.. (2002) (8 citations) (Correct)
No context found.
S. Owre and N. Shankar. Abstract datatypes in PVS. Technical report, Computer Science Laboratory, SRI International, 1993.
Deriving Cryptographically Sound Implementations Using.. - Backes, Jacobi.. (2002) (8 citations) (Correct)
No context found.
S. Owre and N. Shankar. Abstract datatypes in PVS. Technical report, Computer Science Laboratory, SRI International, 1993.
Inductive datatypes in HOL - lessons learned in Formal-Logic .. - Berghofer, Wenzel (1999) (4 citations) (Correct)
No context found.
S. Owre and N. Shankar. Abstract datatypes in PVS. Technical Report CSL-939R, Computer Science Laboratory, SRI International, 1993.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC