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.
Further overview papers are available on the page Choosing a formal method.