About: Prototype Verification System

Property	Value
dbo:description	Programmiersprache (de) langage de programmation (fr) linguagem de programação (pt) linguaggio di programmazione (it) programmeertaal (nl) programmeringssprog (da) język programowania (pl) lenguaje de programación (es) limbaj de programare (ro) llenguatge de programació (ca) ohjelmointikieli (fi) programmeringsspråk (nn) programovací jazyk (cs) programovací jazyk (sk) programspråk (sv) yezh programmiñ (br) שפת תכנות (iw) प्रोग्रामिंग भाषा (hi) ਪ੍ਰੋਗਰਾਮਿੰਗ ਭਾਸ਼ਾ (pa) പ്രോഗ്രാമിങ് ഭാഷ (ml) specification language integrated with support tools and an automated theorem prover (en)
dbo:thumbnail	wiki-commons:Special:FilePath/PVS_screenshot.gif?width=300
dbo:wikiPageExternalLink	http://pvs.csl.sri.com/ http://www-formal.stanford.edu/clt/ARS/Entries/pvs
dbo:wikiPageWikiLink	dbc:SRI_International_software dbr:Formal_methods dbr:Michael_Kohlhase dbr:Automated_theorem_proving dbr:Menlo_Park,_California dbr:Specification_language dbr:GNU_General_Public_License dbc:Lisp_(programming_language) dbr:Carolyn_Talcott dbr:Alonzo_Church dbr:Common_Lisp dbr:Natarajan_Shankar dbc:Formal_specification_languages dbc:Free_theorem_provers dbr:SRI_International dbc:Dependently_typed_languages dbc:Proof_assistants dbc:Common_Lisp_(programming_language)_software dbc:Free_software_programmed_in_Lisp dbr:John_Rushby dbr:Dependent_types dbr:File:PVS_screenshot.gif dbr:Sam_Owre
dbp:wikiPageUsesTemplate	dbt:Compu-lang-stub dbt:Logic-stub dbt:Short_description
dct:subject	dbc:SRI_International_software dbc:Lisp_(programming_language) dbc:Formal_specification_languages dbc:Free_theorem_provers dbc:Dependently_typed_languages dbc:Proof_assistants dbc:Common_Lisp_(programming_language)_software dbc:Free_software_programmed_in_Lisp
rdf:type	owl:Thing dbo:Language wikidata:Q315 wikidata:Q9143 dbo:ProgrammingLanguage dbo:ProgrammingLanguage schema:Language
rdfs:label	Prototype Verification System (en) Prototype Verification System (fr)
owl:sameAs	freebase:Prototype Verification System yago-res:Prototype Verification System wikidata:Prototype Verification System dbpedia-fr:Prototype Verification System dbpedia-global:Prototype Verification System dbr:Prototype Verification System
prov:wasDerivedFrom	wikipedia-en:Prototype_Verification_System?oldid=1295262358&ns=0
foaf:depiction	wiki-commons:Special:FilePath/PVS_screenshot.gif
foaf:isPrimaryTopicOf	wikipedia-en:Prototype_Verification_System
is dbo:knownFor of	dbr:Natarajan_Shankar
is dbo:wikiPageDisambiguates of	dbr:PVS
is dbo:wikiPageRedirects of	dbr:PVS_Specification_and_Verification_System
is dbo:wikiPageWikiLink of	dbr:Rosetta-lang dbr:Automated_theorem_proving dbr:Proof_assistant dbr:PVS dbr:Type_theory dbr:Interactive_Theorem_Proving_(conference) dbr:Dependent_type dbr:DLX dbr:Common_Lisp dbr:Natarajan_Shankar dbr:Formal_verification dbr:List_of_SRI_International_people dbr:John_Rushby dbr:Robert_Shostak dbr:PVS_Specification_and_Verification_System
is dbp:knownFor of	dbr:Natarajan_Shankar
is foaf:primaryTopic of	wikipedia-en:Prototype_Verification_System