Sumble logo
Explore Technology Competitors, Complementaries, Teams, and People
PVS

PVS

Last updated , generated by Sumble
Explore more →

**PVS**

What is PVS?

PVS (Prototype Verification System) is a specification and verification system developed by SRI International. It's a tool for constructing rigorously-checked formal specifications and proofs. It's used for formalizing mathematical theories and for the formal specification and verification of hardware and software systems, particularly in safety-critical areas.

Which organizations are mentioning PVS?

Summary powered by Sumble Logo Sumble

Find the right accounts, contact, message, and time to sell

Whether you're looking to get your foot in the door, find the right person to talk to, or close the deal — accurate, detailed, trustworthy, and timely information about the organization you're selling to is invaluable.

Use Sumble to: