Formal Methods Wiki
Advertisement

PVS (Prototype Verification System) is a specification language and theorem prover tool based on classical typed higher-order logic.

See also[]

External links[]


Advertisement