Choosing a formal method for a given purpose requires a good overview of the available methods, their underlying techniques, tool support and applications. We list here a collection of surveys and evaluation reports that may help in making this decision. Please, note that the opinions and conclusions drawn in these surveys do not necessarily reflect the opinion of FME and its members.
Two new survey papers offer complementary perspectives on the state of formal methods in 2020.
- Formal methods in dependable systems engineering: a survey of professionals from Europe and North America Mario Gleirscher, Diego Marmsoler. Empirical Software Engineering 25, pages 4473–4546. Springer 2020.
- The 2020 Expert Survey on Formal Methods. Hubert Garavel, Maurice H. ter Beek, Jaco van de Pol. Proc. Formal Methods for Industrial Critical Systems (FMICS 2020). LNCS 12327, Springer 2020 (pdf)
For future reference, we have collected and combined the bibliographies of the two papers into a single bibtex-file, which is available here.
Why Amazon Chose TLA+. Chris Newcombe. Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 Proceedings. LNCS, Vol 8477, pages 25-39, Springer, 2014.
Formal Methods for Safe and Secure Computer Systems. Hubert Garavel and Susanne Graf. BSI Study 875, Federal Office for Information Security, 2013. (PDF)
Formal Methods: Practice and Experience. Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John Fitzgerald. ACM Computing Surveys, 41 (4), pages 19:1–19:36, ACM, 2009. (PDF)