A direct path to dependable software
Open Access
- 1 April 2009
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 52 (4), 78-88
- https://doi.org/10.1145/1498765.1498787
Abstract
Who could fault an approach that offers greater credibility at reduced cost?This publication has 13 references indexed in Scilit:
- Proving the absence of run-time errors in safety-critical avionics codePublished by Association for Computing Machinery (ACM) ,2007
- The Power of 10: Rules for Developing Safety-Critical CodeComputer, 2006
- Context- and path-sensitive memory leak detectionPublished by Association for Computing Machinery (ACM) ,2005
- Lost Radio Contact Leaves Pilots on Their OwnIEEE Spectrum, 2004
- The S LAM projectPublished by Association for Computing Machinery (ACM) ,2002
- Air vehicle Software Static Code Analysis Lessons LearntPublished by Springer Science and Business Media LLC ,2001
- Mechanizing ProofPublished by MIT Press ,2001
- Some conservative stopping rules for the operational testing of safety critical softwareIEEE Transactions on Software Engineering, 1997
- Using formal methods to develop an ATC information systemIEEE Software, 1996
- A history of CLUACM SIGPLAN Notices, 1993