PVS

E1970945 UNEXPLORED

PVS (Prototype Verification System) is an interactive theorem prover and specification language designed for formal verification of hardware and software systems.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
PVS canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

HOL theorem prover → relatedTo → PVS ⓘ