Prototype Verification System
GPTKB entity
Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
theorem prover
|
| gptkbp:abbreviation |
gptkb:PVS
|
| gptkbp:citation |
Owre, S.; Rushby, J. M.; Shankar, N. (1992). PVS: A Prototype Verification System. CADE-11.
|
| gptkbp:developedBy |
gptkb:SRI_International
|
| gptkbp:firstReleased |
1993
|
| gptkbp:hasComponent |
interactive proof assistant
proof checker specification language |
| https://www.w3.org/2000/01/rdf-schema#label |
Prototype Verification System
|
| gptkbp:latestReleaseVersion |
2023
7.1 |
| gptkbp:license |
proprietary
|
| gptkbp:operatingSystem |
gptkb:Windows
gptkb:Unix gptkb:Linux |
| gptkbp:programmingLanguage |
gptkb:Lisp
|
| gptkbp:supports |
higher-order logic
dependent types |
| gptkbp:usedFor |
formal verification
formal specification |
| gptkbp:website |
https://pvs.csl.sri.com/
|
| gptkbp:bfsParent |
gptkb:PVS
|
| gptkbp:bfsLayer |
8
|