Capture phrases in quotes for more specific queries (e.g. "rocket ship" or "Fred Lynn")

1970s

Formal software methods

SRI’s pioneering methods of applying mathematical logic for rigorous reasoning about the correctness of computer software culminated in two important tools: the Hierarchical Development Methodology (HDM) formulated at SRI in the 1970s, and the Prototype Verification System (PVS) in the 1980s. Because of the need for the inviolability of critical national security software, development of HDM was sponsored by the National Security Agency. SRI funded development of PVS.

PVS is one of the world’s most widely used software creation programs. PVS includes an extremely expressive specification language and a high-performance mechanical theorem prover. It provides rigorous assurance of correctness for mission-critical software systems.

close check icon

Message Sent

Success! - Thank you for your interest.

cookiebot
cookiebot

SRI and its partners use cookies to improve your browsing experience. If you continue to use this website without changing your cookie settings, you are consenting to the use of cookies by SRI and its partners. For more information on SRI’s privacy practices, including how to decline the use of cookies, please read our Privacy Statement.

I agree
share dwonload plus email external external project copy play call directions linkedin