Software engineering and formal methods
Open Access
- 1 September 2008
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 51 (9) , 54-59
Abstract
The answer to software reliability concerns may lie in formal methods.Keywords
This publication has 10 references indexed in Scilit:
- Proving thread termination2007
- Thread-modular shape analysis2007
- Varieties of Static Analyzers: A Comparison with ASTREE2007
- Termination proofs for systems code2006
- Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable CodeLecture Notes in Computer Science, 2006
- The meaning of “formal”: from weak to strong formal methodsInternational Journal on Software Tools for Technology Transfer, 1997
- Method engineering for real-life concurrent systemsACM Computing Surveys, 1996
- Seven more myths of formal methodsIEEE Software, 1995
- Seven myths of formal methodsIEEE Software, 1990
- Systematic design of program analysis frameworks1979