Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Prototype Verification System
open-in-new
<h2 id="see-also">See also</h2> <ul><li><a href="/facts/Formal_methods/tw4FCWIb">Formal methods</a></li> <li><a href="/facts/List_of_proof_assistants/hjFGxLPn">List of proof assistants</a></li></ul> <ul><li>Owre, <a href="/facts/Natarajan_Shankar/pAWPaXvJ">Shankar</a>, and <a href="/facts/John_Rushby/d0GvPKBH">Rushby</a>, 1992. <i>PVS: A Prototype Verification System</i>. Published in the <i>CADE 11</i> conference proceedings.</li></ul> <h2 id="external-links">External links</h2> <ul><li><a href="http://pvs.csl.sri.com/">PVS website</a> at <a href="/facts/SRI_International/flSHunVK">SRI International</a>'s Computer Science Laboratory</li> <li><a href="http://www-formal.stanford.edu/clt/ARS/Entries/pvs">Summary of PVS</a> by <a href="/facts/John_Rushby/d0GvPKBH">John Rushby</a> at the <i>Mechanized Reasoning</i> database of <a href="/facts/Michael_Kohlhase/lbVaoY9X">Michael Kohlhase</a> and <a href="/facts/Carolyn_Talcott/KXkGPuYN">Carolyn Talcott</a></li></ul>