Resource Type:
Code
License:
Other/Unknown
Language:
Data Format:
Description
PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover.
Categorized in: Representation and Reasoning | Automated Theorem Proving
Post comment
Cancel