Do formal methods pay off?
A subject the papers are about. The loosest grouping, and the one to reach for last.
Thirty-four years of the same argument, 1990 to 2024, and mostly honest negative answers.
41 references
Formal Methods in Industry
Maurice H. ter Beek et al. (2024) · Formal Aspects of Computing
A formal analysis of Dutch Generic Integral Tunnel Design models
Kevin Jilissen et al. (2023) · Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing
The 2020 expert survey on formal methods
Hubert Garavel et al. (2020) · 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS)
Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
Mario Gleirscher et al. (2020) · Empirical Software Engineering
Formal Methods: From Academia to Industrial Practice. A Travel Guide
Marieke Huisman et al. (2020)
New opportunities for integrated formal methods
Mario Gleirscher et al. (2019) · ACM Computing Surveys (CSUR)
Formally verified software in the real world
Gerwin Klein et al. (2018) · Communications of the ACM
Experience Report on Formally Verifying Parts of OpenJDK's API with KeY
Alexander Knüppel et al. (2018) · Formal Integrated Development Environment 2018 (F-IDE 2018)
End-to-End Verification of ARM Processors with ISA-Formal
Alastair Reid et al. (2016) · Computer Aided Verification (CAV 2016)
How Amazon Web Services Uses Formal Methods
Chris Newcombe et al. (2015) · Communications of the ACM
Applying formal methods to networking: theory, techniques, and applications
Junaid Qadir et al. (2015) · IEEE Communications Surveys & Tutorials
Formally Verifying Graphics FPU: An Intel® Experience
Aarti Gupta et al. (2014) · International Symposium on Formal Methods
Application of Formal Methods in Development of Information Systems
Željko Dobrović et al. (2013) · Central European Conference on Information and Intelligent Systems
Some Trends in Formal Methods Applications to Railway Signaling
Alessandro Fantechi et al. (2012) · Formal Methods for Industrial Critical Systems
HACMS: high assurance cyber military systems
Kathleen Fisher (2012) · Proceedings of the 2012 ACM Conference on High Integrity Language Technology
Analyzing the effects of formal methods on the development of industrial control software
Jan Friso Groote et al. (2011) · 2011 27th IEEE International Conference on Software Maintenance (ICSM)
An introduction to formal methods for the development of safety-critical applications
Anne Elisabeth Haxthausen (2010)
Really rethinking ‘formal methods’
David Lorge Parnas (2010) · Computer
Software Verification and System Assurance
John Rushby (2009) · 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
Just-in-Time Certification
John Rushby (2007) · 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)
Realising the Benefits of Formal Methods
Anthony Hall (2005) · 7th International Conference on Formal Engineering Methods (ICFEM)
Formally Verifying IEEE Compliance of Floating-Point Hardware
John W. O'Leary et al. (1999) · Intel Technology Journal
A Lightweight Approach to Formal Methods
Sten Agerholm et al. (1998) · Applied Formal Methods — FM-Trends 98
Formal methods in computer technologies
I. V. Sergienko et al. (1998) · Cybernetics and Systems Analysis
Limits of formal methods
Ralf Kneuper (1997) · Formal Aspects of Computing
Formal methods: Promises and problems
Luqi et al. (1997) · IEEE Software
Formal methods: State of the art and future directions
Edmund M. Clarke et al. (1996) · ACM Computing Surveys
How did software get so reliable without proof?
C. A. R. Hoare (1996) · 3rd International Symposium of Formal Methods Europe (FME)
Formal methods and testing: why the state-of-the art is not the state-of-the practice
David S. Rosenblum (1996) · ACM SIGSOFT Software Engineering Notes
Formal methods in safety-critical standards
Jonathan P. Bowen (1993) · Proceedings 1993 Software Engineering Standards Symposium
Program verification: Fundamental issues in computer science
Timothy R. Colburn et al. (1993)
Social Processes and Proofs of Theorems and Programs
R. A. De Millo et al. (1993) · Program Verification: Fundamental Issues in Computer Science
Program Verification: The Very Idea
James H. Fetzer (1993) · Program Verification: Fundamental Issues in Computer Science
Formal Methods and the Certification of Critical Systems
John Rushby (1993)
Limits of Correctness in Computers
Brian Cantwell Smith (1993) · Program Verification: Fundamental Issues in Computer Science
Applying 'design by contract'
Bertrand Meyer (1992) · Computer
Formal methods in the development of safety critical software systems
Lloyd G. Williams (1992)
Design by Contract
Bertrand Meyer (1991) · Advances in Object-Oriented Software Engineering
Seven myths of formal methods
Anthony Hall (1990) · IEEE Software
A specifier's introduction to formal methods
Jeannette M. Wing (1990) · Computer