Prototype Verification System (Q3408184)
Jump to navigation
Jump to search
specification language integrated with support tools and an automated theorem prover
- PVS
Language | Label | Description | Also known as |
---|---|---|---|
English | Prototype Verification System |
specification language integrated with support tools and an automated theorem prover |
|
Statements
Identifiers
Sitelinks
Wikipedia(2 entries)
- enwiki Prototype Verification System
- frwiki Prototype Verification System