PVS

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

See also

• SRI FormalWare Tools
• HOL

External links

• PVS website
• PVS wiki
• Wikipedia: Prototype Verification System