FANDOM


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

See also Edit

External links Edit


Community content is available under CC-BY-SA unless otherwise noted.