Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Prototype_Verification_System> ?p ?o }
Showing triples 1 to 63 of
63
with 100 triples per page.
- Prototype_Verification_System abstract "The Prototype Verification System (PVS) is a specification language integrated with support tools and an automated theorem prover, developed at the Computer Science Laboratory of SRI International in Menlo Park, California. PVS is based on a kernel consisting of an extension of Church's theory of types with dependent types, and is fundamentally a classical typed higher-order logic. The base types include uninterpreted types that may be introduced by the user, and built-in types such as the booleans, integers, reals, and the ordinals. Type-constructors include functions, sets, tuples, records, enumerations, and abstract data types. Predicate subtypes and dependent types can be used to introduce constraints; these constrained types may incur proof obligations (called type-correctness conditions or TCCs) during typechecking. PVS specifications are organized into parameterized theories.The system is implemented in Common Lisp, and is released under the GNU General Public License (GPL).".
- Prototype_Verification_System wikiPageExternalLink pvs.csl.sri.com.
- Prototype_Verification_System wikiPageExternalLink pvs.
- Prototype_Verification_System wikiPageID "1848947".
- Prototype_Verification_System wikiPageLength "1960".
- Prototype_Verification_System wikiPageOutDegree "24".
- Prototype_Verification_System wikiPageRevisionID "637556645".
- Prototype_Verification_System wikiPageWikiLink Alonzo_Church.
- Prototype_Verification_System wikiPageWikiLink Automated_theorem_proving.
- Prototype_Verification_System wikiPageWikiLink Carolyn_Talcott.
- Prototype_Verification_System wikiPageWikiLink Category:Common_Lisp_software.
- Prototype_Verification_System wikiPageWikiLink Category:Dependently_typed_languages.
- Prototype_Verification_System wikiPageWikiLink Category:Formal_specification_languages.
- Prototype_Verification_System wikiPageWikiLink Category:Free_software_programmed_in_Lisp.
- Prototype_Verification_System wikiPageWikiLink Category:Free_theorem_provers.
- Prototype_Verification_System wikiPageWikiLink Category:Lisp_(programming_language).
- Prototype_Verification_System wikiPageWikiLink Category:Proof_assistants.
- Prototype_Verification_System wikiPageWikiLink Category:SRI_International_software.
- Prototype_Verification_System wikiPageWikiLink Common_Lisp.
- Prototype_Verification_System wikiPageWikiLink Dependent_type.
- Prototype_Verification_System wikiPageWikiLink Dependent_types.
- Prototype_Verification_System wikiPageWikiLink Formal_methods.
- Prototype_Verification_System wikiPageWikiLink GNU_General_Public_License.
- Prototype_Verification_System wikiPageWikiLink John_Rushby.
- Prototype_Verification_System wikiPageWikiLink Menlo_Park,_California.
- Prototype_Verification_System wikiPageWikiLink Michael_Kohlhase.
- Prototype_Verification_System wikiPageWikiLink Natarajan_Shankar.
- Prototype_Verification_System wikiPageWikiLink SRI_International.
- Prototype_Verification_System wikiPageWikiLink Sam_Owre.
- Prototype_Verification_System wikiPageWikiLink Specification_language.
- Prototype_Verification_System wikiPageWikiLinkText "PVS".
- Prototype_Verification_System wikiPageWikiLinkText "Prototype Verification System".
- Prototype_Verification_System hasPhotoCollection Prototype_Verification_System.
- Prototype_Verification_System wikiPageUsesTemplate Template:Compu-lang-stub.
- Prototype_Verification_System wikiPageUsesTemplate Template:Logic-stub.
- Prototype_Verification_System subject Category:Common_Lisp_software.
- Prototype_Verification_System subject Category:Dependently_typed_languages.
- Prototype_Verification_System subject Category:Formal_specification_languages.
- Prototype_Verification_System subject Category:Free_software_programmed_in_Lisp.
- Prototype_Verification_System subject Category:Free_theorem_provers.
- Prototype_Verification_System subject Category:Lisp_(programming_language).
- Prototype_Verification_System subject Category:Proof_assistants.
- Prototype_Verification_System subject Category:SRI_International_software.
- Prototype_Verification_System hypernym Language.
- Prototype_Verification_System type Language.
- Prototype_Verification_System type ProgrammingLanguage.
- Prototype_Verification_System type Software.
- Prototype_Verification_System type Work.
- Prototype_Verification_System type Assistant.
- Prototype_Verification_System type Language.
- Prototype_Verification_System type CreativeWork.
- Prototype_Verification_System type Thing.
- Prototype_Verification_System type Q386724.
- Prototype_Verification_System type Q7397.
- Prototype_Verification_System type Q9143.
- Prototype_Verification_System comment "The Prototype Verification System (PVS) is a specification language integrated with support tools and an automated theorem prover, developed at the Computer Science Laboratory of SRI International in Menlo Park, California. PVS is based on a kernel consisting of an extension of Church's theory of types with dependent types, and is fundamentally a classical typed higher-order logic.".
- Prototype_Verification_System label "Prototype Verification System".
- Prototype_Verification_System sameAs Prototype_Verification_System.
- Prototype_Verification_System sameAs m.060t4_.
- Prototype_Verification_System sameAs Q3408184.
- Prototype_Verification_System sameAs Q3408184.
- Prototype_Verification_System wasDerivedFrom Prototype_Verification_System?oldid=637556645.
- Prototype_Verification_System isPrimaryTopicOf Prototype_Verification_System.