Q&A: Formal Methods Push Toward Zero-Defect Software (.PDF Download)

This article is part of the Embedded Software Series: Enforced Coding Using Ada Contracts

Safety and reliability have moved to the top of the list of critical criteria in software development. There are many ways to achieve improved safety and reliability, and one of the best is to employ formal methods. I talked with AdaCore’s SPARK product manager, Yannick Moy, about how formal verification of software can help lead to the development of zero-defect software...