S. Owre, J. M. Rushby, and N. Shankar. PVS: A prototype veri cation system. In D. Kapur, editor, 11th International Conference on Automated Deduction (CADE), volume 607 of Lecture Notes in Arti cial Intelligence, pages 748-752. Springer Verlag, 1992.  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
ICS: Integrated Canonizer and Solver (Tool Presentation) - Filliâtre, Owre.. Self-citation (Owre Shankar) (Correct)
No context found.
S. Owre, J. M. Rushby, and N. Shankar. PVS: A prototype veri cation system. In Deepak Kapur, editor, 11th International Conference on Automated Deduction (CADE), volume 607 of Lecture Notes in Arti cial Intelligence, pages 748-752, Saratoga, NY, June 1992. Springer-Verlag.
Formal Verification of a Combination Decision Procedure - Ford, Shankar (2002) Self-citation (Shankar) (Correct)
No context found.
S. Owre, J. M. Rushby, and N. Shankar. PVS: A prototype veri cation system. In Deepak Kapur, editor, 11th International Conference on Automated Deduction (CADE), volume 607 of Lecture Notes in Arti cial Intelligence, pages 748-752, Saratoga, NY, June 1992. Springer-Verlag.
Incorporating Decision Procedures in Implicit Induction - Armando, Rusinowitch.. (Correct)
No context found.
S. Owre, J. M. Rushby, and N. Shankar. PVS: A prototype veri cation system. In D. Kapur, editor, 11th International Conference on Automated Deduction (CADE), volume 607 of Lecture Notes in Arti cial Intelligence, pages 748-752. Springer Verlag, 1992.
A General Framework to Build Contextual Cover Set Induction.. - STRATULAT (2001) (Correct)
No context found.
S. Owre, J. M. Rushby, and N. Shankar. PVS: A prototype veri cation system. In D. Kapur, editor, 11th International Conference on Automated Deduction (CADE), volume 607 of Lecture Notes in Arti cial Intelligence, pages 748-752. Springer Verlag, 1992.
Dynamically Discovering Likely Program Invariants - Ernst (2000) (108 citations) (Correct)
No context found.
S. Owre, J. M. Rushby, and N. Shankar. PVS: A prototype veri cation system. In Proceedings of the 11th International Conference on Automated Deduction (CADE-11), volume 607, pages 748-752, Saratoga Springs, NY, June 1992.
Rewrite and Decision Procedure Laboratory: Combining.. - Armando, Compagna.. (Correct)
No context found.
S. Owre, J. M. Rushby, and N. Shankar. PVS: A Prototype Veri cation System. In D. Kapur, editor, 11th International Conference on Automated Deduction (CADE), volume 607 of LNAI, pages 748-752, Saratoga, NY, June 1992. Springer-Verlag.
Lazy Theorem Proving for Bounded Model Checking over In.. - de Moura, Rueß, Sorea (2002) (21 citations) (Correct)
No context found.
S. Owre, J. M. Rushby, and N. Shankar. PVS: A prototype veri cation system. In 11th International Conference on Automated Deduction (CADE), volume 607 of Lecture Notes in Arti cial Intelligence, pages 748-752. Springer-Verlag, 1992.
Certifying Compositional Model Checking Algorithms in ACL2 - Ray, Matthews, Tuttle (2003) (Correct)
No context found.
S. Owre, J. M. Rushby, and N. Shankar. PVS: A Prototype Veri cation System. In D. Kapoor, editor, 11th International Conference on Automated Deduction (CADE), volume 607 of Lecture Notes in Arti cial Intelligence, pages 748-752. Springer-Verlag, June 1992.
MMode, a Mizar Mode for the proof assistant Coq - Giero, Wiedijk (2003) (Correct)
No context found.
S. Owre, J. Rushby, and N. Shankar. PVS: A prototype veri cation system. In D. Kapur, editor, 11th International Conference on Automated Deduction (CADE), volume 607 of LNAI, pages 748-752, Berlin, Heidelberg, New York, 1992. SpringerVerlag.
Revisiting Positive Equality - Lahiri, Bryant, Goel, Talupur (2004) (Correct)
No context found.
S. Owre, J. M. Rushby, and N. Shankar. PVS: A prototype veri cation system. In D. Kapur, editor, 11th International Conference on Automated Deduction (CADE), June 1992.
Revisiting Positive Equality - Shuvendu Lahiri Randal (2004) (Correct)
No context found.
S. Owre, J. M. Rushby, and N. Shankar. PVS: A prototype veri cation system. In 11th International Conference on Automated Deduction (CADE), June 1992.
Modeling and Verification of Leaders Agreement in the.. - Layouni, Hooman, Tahar (2003) (Correct)
No context found.
S. Owre, J. M. Rushby, and N. Shankar. PVS: A Prototype Veri cation System. In 11th International Conf. on Automated Deduction, (LNCS 607): p. 748-752, 1992.
Embedding Multiway Decision Graphs in HOL - Mhamdi, Tahar (2004) (Correct)
No context found.
S. Owre, J. M. Rushby, and N. Shankar. PVS: A Prototype Veri cation System. In Automated Deduction, volume 607 of LNCS, pages 748-752. Springer-Verlag, 1992.
Formal Representation Issues in an Open Mathematical Knowledge.. - Kohlhase (2001) (Correct)
No context found.
S. Owre, J. M. Rushby, and N. Shankar. PVS: a prototype veri cation system. In D. Kapur, editor, Proceedings of the 11th Conference on Automated Deduction, volume 607 of LNCS, pages 748-752, Saratoga Spings, NY, USA, 1992. Springer Verlag.
Dynamically Discovering Likely Program Invariants - Ernst (2000) (108 citations) (Correct)
No context found.
S. Owre, J. M. Rushby, and N. Shankar. PVS: A prototype veri cation system. In Proceedings of the 11th International Conference on Automated Deduction (CADE-11), volume 607, pages 748-752, Saratoga Springs, NY, June 1992.
Modeling and Verification of Out-of-Order Microprocessors.. - Lahiri, Seshia, Bryant (2002) (2 citations) (Correct)
No context found.
S. Owre, J. M. Rushby, and N. Shankar. PVS: A prototype veri cation system. In Deepak Kapur, editor, 11th International Conference on Automated Deduction (CADE), volume 607 of Lecture Notes in Arti cial Intelligence, pages 748-752. Springer-Verlag, June 1992.
Deductive Verification of Advanced Out-of-Order Microprocessors - Lahiri, Bryant (2003) (Correct)
No context found.
S. Owre, J. M. Rushby, and N. Shankar. PVS: A prototype veri cation system. In 11th International Conference on Automated Deduction (CADE), June 1992.
The Logic Of The Raise Specification Language - George, Haxthausen (2003) (Correct)
No context found.
Owre, S., Rushby, J. M., and Shankar, N. PVS: A prototype veri cation system. In 11th International Conference on Automated Deduction (CADE) (Saratoga, NY, June 1992), D. Kapur, Ed., vol. 607 of Lecture Notes in Arti cial Intelligence, Springer-Verlag, pp. 748-752.
On the Correctness of an Intrusion-Tolerant Group.. - Layouni, Hooman, Tahar (2003) (Correct)
No context found.
S. Owre, J. M. Rushby, and N. Shankar. PVS: A Prototype Veri cation System. In Proc. Intl. Conf. on Automated Deduction, (LNCS 607), pp. 748-752, 1992.
A Constructive Algebraic Hierarchy in Coq - Geuvers, Pollack, Wiedijk.. (Correct)
No context found.
S. Owre, J. Rushby, and N. Shankar. PVS: A prototype veri cation system. In D. Kapur, ed., 11th International Conference on Automated Deduction (CADE), vol. 607 of LNAI, pp. 748-752, Berlin, 1992. Springer-Verlag.
Encoding the HOL Light logic in Coq - Wiedijk (Correct)
No context found.
S. Owre, J. Rushby, and N. Shankar. PVS: A prototype veri cation system. In D. Kapur, editor, 11th International Conference on Automated Deduction (CADE), volume 607 of LNAI, pages 748-752, Berlin, Heidelberg, New York, 1992. SpringerVerlag.
Comparing Mathematical Provers - Freek Wiedijk University (2003) (3 citations) (Correct)
No context found.
S. Owre, J. Rushby, and N. Shankar. PVS: A prototype veri cation system. In D. Kapur, editor, 11th International Conference on Automated Deduction (CADE), volume 607 of LNAI, pages 748-752, Berlin, Heidelberg, New York, 1992. SpringerVerlag.
Towards a Semantic Web for Formal Mathematics - Schena (2002) (Correct)
No context found.
Rushby J.M. Owre S. and Shankar N. PVS: A prototype veri cation system, 1992. Kapur.
A Challenge for Mechanized Deduction - Benzmüller, Kerber (Correct)
No context found.
S. Owre, J. M. Rushby, and N. Shankar. PVS: a prototype veri cation system. In D. Kapur, editor, Proceedings of the 11th Conference on Automated Deduction, volume 607 of LNCS, pages 748-752, Saratoga Spings, NY, USA, 1992. Springer Verlag.
A Java Card CAP Converter in PVS - Genet, Jensen, Kodati, Pichardie (2003) (Correct)
No context found.
S. Owre, J. M. Rushby, , and N. Shankar. PVS: A prototype veri cation system. In Proc. of 11th Int. Conf. on Automated Deduction (CADE), volume 607 of LNAI, pages 748-752. Springer-Verlag, 1992.
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