mbse.cool: Languages | Methods | Tools | Vendors
Prototype Verification System
specification language integrated with support tools and an automated theorem prover
- Instance of
- proof assistant, specification language
- Website
- https://pvs.csl.sri.com/
- Listed in
- Specification languages
- Wikipedia
- Prototype Verification System
- Wikidata
- Q3408184 (edit)
Methods
—
Tools
—
TODO · Colophon