Owre, S., Rajan, S., Rushby, J., Shankar, N., and Srivas, M. PVS: Combining Specification, Proof Checking, and Model Checking. in: Computer-Aided Verification, CAV '96, edited by R. Alur and T. A. Henzinger. Lecture Notes in Computer Science, vol. 1102, Springer-Verlag, New Brunswick, NJ, 1996, pp. 411--414. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
A Schema for Adding Dependent Types to ML - Xi, Pfenning (Correct)
No context found.
Owre, S., Rajan, S., Rushby, J., Shankar, N., and Srivas, M. PVS: Combining Specification, Proof Checking, and Model Checking. in: Computer-Aided Verification, CAV '96, edited by R. Alur and T. A. Henzinger. Lecture Notes in Computer Science, vol. 1102, Springer-Verlag, New Brunswick, NJ, 1996, pp. 411--414.
A Schema for Adding Dependent Types to ML - Hongwei Xi Department (Correct)
No context found.
Owre, S., Rajan, S., Rushby, J., Shankar, N., and Srivas, M. PVS: Combining Specification, Proof Checking, and Model Checking. in: Computer-Aided Verification, CAV '96, edited by R. Alur and T. A. Henzinger. Lecture Notes in Computer Science, vol. 1102, Springer-Verlag, New Brunswick, NJ, 1996, pp. 411--414.
It is Time to Mechanize Programming Language Metatheory - Pierce, Sewell, Weirich.. (Correct)
No context found.
Sam Owre, Sreeranga Rajan, John M. Rushby, Natarajan Shankar, and Mandayam K. Srivas. PVS: Combining specification, proof checking, and model checking. In International Conference on Computer Aided Verification (CAV), New Brunswick, New Jersey, volume 1102 of Lecture Notes in Computer Science, pages 411--414. Springer-Verlag, July 1996.
Mechanized Metatheory for the Masses: The PoplMark.. - Aydemir, Bohannon.. (2005) (6 citations) (Correct)
No context found.
Sam Owre, Sreeranga Rajan, John M. Rushby, Natarajan Shankar, and Mandayam K. Srivas. PVS: Combining specification, proof checking, and model checking. In International Conference on Computer Aided Verification (CAV), New Brunswick, New Jersey, volume 1102 of Lecture Notes in Computer Science, pages 411--414. Springer-Verlag, July 1996.
Gnie Logiciel, Mthodes et Spcifications Formelles --- - Research Report September (Correct)
No context found.
S. OWRE, S. RAJAN, J.M. RUSHBY, N. SHANKAR, et M.K. SRIVAS. PVS: Combining specification, proof checking, and model checking. In Rajeev ALUR et Thomas A. HENZINGER, diteurs, Computer-Aided Verification, CAV '96, volume 1102 of Lecture Notes in Computer Science, pages 411--414. Springer-Verlag, 1996.
Non-trivial Symbolic Computations in Proof - Planning Volker Sorge (2000) (Correct)
No context found.
S. Owre, S. Rajan, J. Rushby, N. Shankar, and M. Srivas. PVS: Combining Specification, Proof Checking, and Model Checking. In Computer-Aided Verification, CAV '96, LNCS 1102, p. 411--414. Springer, 1996.
Dependent Types in Practical Programming (Extended Abstract) - Xi, Pfenning (1999) (Correct)
No context found.
Owre, S., S. Rajan, J. Rushby, N. Shankar, and M. Srivas (1996, July/August). PVS: Combining specification, proof checking, and model checking. In R. Alur and T. A. Henzinger (Eds.), Proceedings of the 8th International Conference on Computer-Aided Verification, CAV '96, New Brunswick, NJ, pp. 411--414. Springer-Verlag LNCS 1102.
A Probabilistic Hoare-style Logic for Cryptographic Proofs - Corin, den Hartog (2005) (Correct)
No context found.
S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M.K. Srivas. PVS: Combining specification, proof checking, and model checking. In Rajeev Alur and Thomas A. Henzinger, editors, Computer-Aided Verification, CAV '96, volume 1102 of Lecture Notes in Computer Science, pages 411--414, New Brunswick, NJ, July/August 1996. Springer-Verlag.
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) (Correct)
No context found.
S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In R. Alur and T.A. Henzinger, editors, Computer Aided Verification, number 1102 in LNCS, pages 411--414. Springer, 1996.
Reasoning with Specifications Containing Method Calls in JML and.. - Cok (2004) (2 citations) (Correct)
No context found.
S. Owre, S. Rajan, J. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In R. Alur and T. Henzinger, editors, Computer Aided Verification, number 1102 in Lecture Notes in Computer Science, pages 411--414. Springer, 1996.
An overview of JML tools and applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) (Correct)
No context found.
S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In R. Alur and T.A. Henzinger, editors, Computer Aided Verification, number 1102 in LNCS, pages 411--414. Springer, 1996.
Mechanized Metatheory for the Masses: The PoplMark.. - Aydemir, Bohannon.. (2005) (6 citations) (Correct)
No context found.
Sam Owre, Sreeranga Rajan, John M. Rushby, Natarajan Shankar, and Mandayam K. Srivas. PVS: Combining specification, proof checking, and model checking. In International Conference on Computer Aided Verification (CAV), New Brunswick, New Jersey, volume 1102 of Lecture Notes in Computer Science, pages 411--414. Springer-Verlag, July 1996.
An overview of JML tools and applications - Burdy, Cheon, Cok, Ernst.. (2004) (16 citations) (Correct)
No context found.
Owre S, Rajan S, Rushby JM, Shankar N, Srivas M (1996) PVS: Combining specification, proof checking, and model checking. In: Alur R, Henzinger TA (eds) Computer aided verification. Lecture notes in computer science, vol 1102. Springer, Berlin Heidelberg New York, pp 411--414
Temporal Logic Verifications for UML, the Vending Machine Example - Royer (2001) (Correct)
No context found.
S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M.K. Srivas. PVS: Combining Specification, Proof Checking, and Model Checking. In Rajeev Alur and Thomas A. Henzinger, editors, Computer-Aided Verification, CAV '96, number 1102 in Lecture Notes in Computer Science, pages 411--414, New Brunswick, NJ, July/August 1996. Springer-Verlag.
A PVS Experiment with Asynchronous Communicating Components - Noye, Pavel, Royer (2004) (Correct)
No context found.
S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M.K. Srivas. PVS: Combining Specification, Proof Checking, and Model Checking. In Rajeev Alur and Thomas A. Henzinger, editors, Computer-Aided Verification, CAV '96, number 1102 in Lecture Notes in Computer Science, pages 411--414, New Brunswick, NJ, July/August 1996. Springer-Verlag.
An Overview of JML Tools and Applications - Burdy, al. (2003) (16 citations) (Correct)
No context found.
S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In R. Alur and T.A. Henzinger, editors, Computer Aided Verification, number 1102 in LNCS, pages 411--414. Springer, 1996.
Static Analysis of Executables to Detect Malicious Patterns - Christodorescu, Jha (2003) (8 citations) (Correct)
No context found.
S. Owre, S. Rajan, J. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In CAV 96: Computer-Aided Verification, pages 411--414, 1996.
Static Analysis of Executables to Detect Malicious Patterns - Christodorescu, Jha (2003) (8 citations) (Correct)
No context found.
S. Owre, S. Rajan, J. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In Proceedings of the 8th International Conference on Computer-Aided Verification (CAV'96), volume 1102 of Lecture Notes in Computer Science, pages 411--414. Springer-Verlag, August 1996.
Certifying and Synthesizing - Membership Equational Proofs (Correct)
No context found.
S. Owre, S. Rajan, J. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In R. Alur and T. A. Henzinger, editors, Computer-Aided Verification, CAV '96, volume 1102 of Lecture Notes in Computer Science, pages 411--414, New Brunswick, NJ, July/August 1996. SpringerVerlag.
Java Program Verification at Nijmegen: Developments and.. - Jacobs, Poll (2003) (8 citations) (Correct)
No context found.
S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In R. Alur and T.A. Henzinger, editors, Computer Aided Verification, number 1102 in Lect. Notes Comp. Sci., pages 411--414. Springer, Berlin, 1996.
The Semantics of C++ Data Types: Towards Verifying Low-Level.. - Hohmuth, Tews (2003) (Correct)
No context found.
S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In R. Alur and T.A. Henzinger, editors, Computer Aided Verification, volume 1102 of Lecture Notes in Computer Science, pages 411--414. Springer, Berlin, 1996.
The Semantics of C++ Data Types: Towards Verifying Low-Level.. - Hohmuth, Tews (2003) (Correct)
No context found.
S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In R. Alur and T.A. Henzinger, editors, Computer Aided Verification, volume 1102 of Lecture Notes in Computer Science, pages 411--414. Springer, Berlin, 1996.
An overview of JML tools and applications - Www Jmlspecs Org (2003) (Correct)
No context found.
S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In R. Alur and T.A. Henzinger, editors, Computer Aided Verification, number 1102 in LNCS, pages 411--414. Springer, 1996.
Java Program Verification at Nijmegen: Developments and.. - Jacobs, Poll (2003) (8 citations) (Correct)
No context found.
S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In R. Alur and T.A. Henzinger, editors, Computer Aided Verification, number 1102 in Lect. Notes Comp. Sci., pages 411--414. Springer, Berlin, 1996.
Theorem Proving in Higher Order Logics - Basin, (eds.) (2003) (Correct)
No context found.
S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In R. Alur and T.A. Henzinger, editors, Computer Aided Verification, volume 1102 of Lecture Notes in Computer Science, pages 411--414. Springer, Berlin, 1996.
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