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

See also Edit

• SRI FormalWare Tools
• HOL

External links Edit

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

This article is a stub. You can help Formal Methods Wiki by expanding it.