Resource Type:
Code
License:
Other/Unknown
Language:
Data Format:
Description
The NASA PVS Library is a collection of formal developments in PVS maintained by the NASA Langley Formal Methods Team and is part of the PVS research sponsored by NASA Langley.
Categorized in: Representation and Reasoning | Automated Theorem Proving
Post comment
Cancel