The 2020 Expert Survey on Formal Methods

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.

[1]  Pamela Zave,et al.  The compositional architecture of the internet , 2019, Commun. ACM.

[2]  Fabrice Kordon,et al.  TOOLympics 2019: An Overview of Competitions in Formal Methods , 2019, TACAS.

[3]  Dines Bjørner,et al.  40 Years of Formal Methods - Some Obstacles and Some Possibilities? , 2014, FM.

[4]  Dr. A. Leventi-Peetz.  Summary of the book : Formal Methods for Safe and Secure Computer Systems , 2013 .

[5]  Maurice H. ter Beek,et al.  Adopting Formal Methods in an Industrial Setting: The Railways Case , 2019, FM.

[6]  Marieke Huisman,et al.  Formal Methods: From Academia to Industrial Practice. A Travel Guide , 2020, ArXiv.

[7]  Jonathan P. Bowen,et al.  Ten Commandments of Formal Methods , 1995, Computer.

[8]  Radu Mateescu,et al.  Reflections on Bernhard Steffen's Physics of Software Tools , 2019, Models, Mindsets, Meta.

[9]  Edmund M. Clarke,et al.  Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .

[10]  Cliff B. Jones,et al.  The Development and Deployment of Formal Methods in the UK , 2020, Formal Aspects Comput..

[11]  Tiziana Margaria,et al.  Formal Methods for Industrial Critical Systems: A Survey of Applications , 2012 .

[12]  Anthony Hall,et al.  Seven myths of formal methods , 1990, IEEE Software.

[13]  Maurice H. ter Beek,et al.  On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders , 2018, IFM.

[14]  Faron Moller,et al.  Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper , 2020, FMFun.

[15]  John Rushby,et al.  Formal Methods and the Certification of Critical Systems , 2004 .

[16]  Maurice H. ter Beek,et al.  Comparing Formal Tools for System Design: a Judgment Study , 2020, 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE).

[17]  Jeannette M. Wing.  A specifier's introduction to formal methods , 1990, Computer.

[18]  Bernhard Steffen,et al.  The physics of software tools: SWOT analysis and vision , 2017, International Journal on Software Tools for Technology Transfer.

[19]  WilhelmReinhard.  Real time spent on real time , 2020 .

[20]  Darren D. Cofer,et al.  Study on the Barriers to the Industrial Adoption of Formal Methods , 2013, FMICS.

[21]  Rushby John,et al.  Formal Methods and Digital Systems Validation for Airborne Systems , 2003 .

[22]  Reinhard Wilhelm.  Real time spent on real time , 2020, Commun. ACM.