The 2020 Expert Survey on Formal Methods

Hubert Garavel*, Maurice H. Ter Beek, Jaco Van De Pol

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

34 Citations (Scopus)
47 Downloads (Pure)


Organised to celebrate the 25th anniversary of the FMICS international conference, the present survey addresses 30 questions on the past, present, and future of formal methods in research, industry, and education. Not less than 130 high-profile experts in formal methods (among whom three Turing award winners and many recipients of other prizes and distinctions) accepted to participate in this survey. We analyse their answers and comments, and present a collection of 111 position statements provided by these experts. The survey is both an exercise in collective thinking and a family picture of key actors in formal methods.

Original languageEnglish
Title of host publicationFormal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Proceedings
EditorsMaurice H. ter Beek, Dejan Nickovic
Number of pages67
ISBN (Print)9783030582975
Publication statusPublished - 2020
Event25th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2020 - Online Conference, Vienna, Austria
Duration: 2 Sept 20203 Sept 2020
Conference number: 25

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12327 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference25th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2020
Abbreviated titleFMICS 2020


  • Cybersecurity
  • Education
  • Formal method
  • Modelling
  • Safety
  • Software engineering
  • Software tool
  • Specification
  • Survey
  • Technology transfer
  • Verification
  • n/a OA procedure


Dive into the research topics of 'The 2020 Expert Survey on Formal Methods'. Together they form a unique fingerprint.

Cite this