• Skip to primary navigation
  • Skip to main content
SRI logo
  • About
    • Press room
    • Our history
  • Expertise
    • Advanced imaging systems
    • Artificial intelligence
    • Biomedical R&D services
    • Biomedical sciences
    • Computer vision
    • Cyber & formal methods
    • Education and learning
    • Innovation strategy and policy
    • National security
    • Ocean & space
    • Quantum
    • QED-C
    • Robotics, sensors & devices
    • Speech & natural language
    • Video test & measurement
  • Ventures
  • NSIC
  • Careers
  • Contact
  • 日本支社
Search
Close
History of innovation November 17, 2021 Computing, Firsts, Products, Safety, Security and Defense, Seminal Innovations, Sensing and Devices, Software, The 1970s

Formal software methods

Formal software methods – 1970’s

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.

ComputingFirstsProductsSafetySecurity and DefenseSeminal InnovationsSensing and DevicesSoftwareThe 1970s

Related innovations

computer woman
Open agent architecture software

Share this

How can we help?

Once you hit send…

We’ll match your inquiry to the person who can best help you.

Expect a response within 48 hours.

Career call to action image

Make your own mark.

Search jobs

Our work

Case studies

Publications

Timeline of innovation

Areas of expertise

Institute

Leadership

Press room

Media inquiries

Compliance

Careers

Job listings

Contact

SRI Ventures

Our locations

Headquarters

333 Ravenswood Ave
Menlo Park, CA 94025 USA

+1 (650) 859-2000

Subscribe to our newsletter


日本支社
SRI International
  • Contact us
  • Privacy Policy
  • Cookies
  • DMCA
  • Copyright © 2022 SRI International