The 2020 Expert Survey on Formal Methods - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

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.
Fichier principal
Vignette du fichier
Garavel-terBeek-vandePol-20.pdf (370.17 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03082818 , version 1 (18-12-2020)



Hubert Garavel, Maurice ter Beek, Jaco van de Pol. The 2020 Expert Survey on Formal Methods. FMICS 2020 - 25th International Conference on Formal Methods for Industrial Critical Systems, Sep 2020, Vienna, Austria. pp.3-69, ⟨10.1007/978-3-030-58298-2_1⟩. ⟨hal-03082818⟩
199 View
1393 Download



Gmail Mastodon Facebook X LinkedIn More