Fault-tolerant distributed theorem proving

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1632, Issue , 1999, Pages 227-231

  Hickey, Jason ^a  

^a Department of Obstetrics Gynecology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957685685     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48660-7_19     Document Type: Conference Paper

References (13)

1. Maria Paola Bonacina and William McCune. Distributed theorem proving by peers. In 1194 Conference on Automated Deduction (CADE12), pages 841-845, 1994.
2. Judy Crow, Sam Owre, John Rushby, Natarajan Shankar, and Mandayam Srivas. A Tutorial Introduction to PVS. In WIFT’95: Work-shop on Industrial-Strength Formal Specification Techniques, April 1995. http://www.csl.sri.com/sri-csl-fm.html.
3. J. Denzinger and Dirk Fuchs. Cooperation in theorem proving by loosely coupled heuristics. Technical Report SR-97-04, University of Kaiserslautern, 1997.
4. R.L. Constable et al. Implementing Mathematics in the NuPRL Proof Development System. Prentice-Hall, 1986.
5. A. Felty, D. Howe, and F. Stomp. Protocol verification in Nuprl. In CAV’98, Lecture Notes on Computer Science. Springer, 1998.
6. Mark Hayden. The Ensemble system. Technical Report TR98-1662, Cornell University, 1998.
7. Jason Hickey, Nancy Lynch, and Robbert van Renesse. Specifications and proofs for Ensemble layers. In TAC AS’99, March 1999.
8. Jason J. Hickey. Nuprl-Light: An implementation framework for higher-order logics. In 14th International Conference on Automated Deduction. Springer, 1997.
9. Paul Bernard Jackson. Enhancing the NuPRL Proof Development System and, Applying it to Computational Abstract Algebra. PhD thesis, Cornell University, January 1995.
10. Christoph Kreitz, Mark Hayden, and Jason Hickey. A proof environment for the development of group communications systems. In 15th International Conference on Automated Deduction, pages 317-332. Springer, 1998.
11. Steven P. Miller and Mandayam Srivas. Formal verification of the AAMP5 microprocessor: A case study in the industrial use of formal methods. In WIFT '95: Workshop on Industrial-Strength Formal Specification Techniques, pages 2-Boca Raton, FL, 1995.
12. Tobias Nipkow and David von Oheimb. Javaught is type-safe — definitely. In Proc. 25th ACM Symp. Principles of Programming Languages, pages p. 161-170. ACM Press, New York, 1998.
13. Didier Rémy and Jérôme Vouillon. Objective ML: A simple object-oriented extension of ML. In ACM Symposium on Principles of Programming Languages, pages 40-53, 1997