The 2020 expert survey on formal methods
The work
| Authors | Hubert Garavel; Maurice H. ter Beek; Jaco van de Pol |
|---|---|
| Editors | |
| Type | inproceedings |
| Year | 2020 |
| Citekey | garavel2020expert |
Where it appeared
| Published in | 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS) |
|---|---|
| Publisher | Springer |
| Series | Lecture Notes in Computer Science |
| Number in series | 12327 |
| Volume | 12327 |
| Pages | 3--69 |
Identifiers
| DOI | 10.1007/978-3-030-58298-2_1 |
|---|
Abstract
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.
A copy is held
pdf, 531.2 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-08-05 00:00 UTC |
| Approved by | a person 2026-08-16 15:23 UTC |
Filed under
Cite it as
@inproceedings{garavel2020expert,
title = {The 2020 expert survey on formal methods},
author = {Hubert Garavel and Maurice H. ter Beek and Jaco van de Pol},
year = {2020},
booktitle = {25th International Conference on Formal Methods for Industrial Critical Systems (FMICS)},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {12327},
pages = {3--69},
doi = {10.1007/978-3-030-58298-2_1},
}
This record lives at https://refs.drheap.org/garavel2020expert/ and will keep doing so.