References

Back to overview page. This list as a PDF.
[1] J. Crow, S. Owre, J. Rushby, N. Shankar, and M. Srivas. A tutorial introduction to PVS. April 1995. [ bib | http ]
[2] G. Denker, J. Garcia-Luna-Aveces, J. Meseguer, P. C. Ölveczky, Y. Raju, B. Smith, and C. Talcott. Specification and analysis of a reliable broadcasting protocol in maude. In Hajek, B., Sreenivas, and R. S., editors, 37th Annual Allerton Conference on Communication, Control, and Computation, University of Illinois, USA, September 1999. [ bib | http ]
[3] http://maude.csl.sri.com/. [ bib ]
[4] PVS web site http://pvs.csl.sri.com/. [ bib ]
[5] J. Rushby. Specification, proof checking, and model checking for protocols and distributed systems with PVS. Tutorial presented at {FORTE X/PSTV XVII '97}, November 1997. [ bib | http ]
[6] N. Shankar. Machine-assisted verification using theorem proving and model checking. In M. Broy and B. Schieder, editors, Mathematical Methods in Program Development, NATO ASI Series F: Computer and Systems Science, pages 499-528. Springer, 1997. [ bib | http ]

This file was generated by bibtex2html 1.96.


The .bib file was last modified on 14:46:10 Feb 11 2011