Prototype Verification System

CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual Proof assistant Formal specification language Dependently typed language
rdfs:label	Prototype Verification System
owl:sameAs	dbr:Prototype_Verification_System
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Formal_specification_languages http://en.wikipedia.org/wiki/Prototype http://en.wikipedia.org/wiki/Category:Proof_assistants http://en.wikipedia.org/wiki/Category:Dependently_typed_languages http://en.wikipedia.org/wiki/Dependent_type http://en.wikipedia.org/wiki/Automated_theorem_proving http://en.wikipedia.org/wiki/Common_Lisp http://en.wikipedia.org/wiki/Proof_assistant
skos:prefLabel	Prototype Verification System
skos:altLabel	PVS
is clgo:knownFor of	Natarajan Shankar

About: clgr:Prototype_Verification_System