[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.