(Q3408184)

English

Prototype Verification System

specification language integrated with support tools and an automated theorem prover

PVS

In more languages

Statements

programming language

0 references

0 references

Identifiers

0 references

Microsoft Academic ID

0 references

Sitelinks

Wikipedia(2 entries)

enwiki Prototype Verification System
frwiki Prototype Verification System

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q3408184&oldid=1345466386"