The 2020 Expert Survey on Formal Methods

Hubert Garavel; Maurice H. Ter Beek; Jaco Van De Pol

doi:10.1007/978-3-030-58298-2_1

The 2020 Expert Survey on Formal Methods

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

^*Corresponding author for this work

Formal Methods and Tools

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

80 Citations (Scopus)

54 Downloads (Pure)

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.

Original language	English
Title of host publication	Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Proceedings
Editors	Maurice H. ter Beek, Dejan Nickovic
Publisher	Springer
Pages	3-69
Number of pages	67
ISBN (Print)	9783030582975
DOIs	https://doi.org/10.1007/978-3-030-58298-2_1
Publication status	Published - 2020
Event	25th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2020 - Online Conference, Vienna, Austria Duration: 2 Sept 2020 → 3 Sept 2020 Conference number: 25

Publication series

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

Conference

Conference	25th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2020
Abbreviated title	FMICS 2020
Country/Territory	Austria
City	Vienna
Period	2/09/20 → 3/09/20

Keywords

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

Access to Document

10.1007/978-3-030-58298-2_1

Cite this

Garavel, H., Ter Beek, M. H., & Van De Pol, J. (2020). The 2020 Expert Survey on Formal Methods. In M. H. ter Beek, & D. Nickovic (Eds.), Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Proceedings (pp. 3-69). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12327 LNCS). Springer. https://doi.org/10.1007/978-3-030-58298-2_1

Garavel, Hubert ; Ter Beek, Maurice H. ; Van De Pol, Jaco. / The 2020 Expert Survey on Formal Methods. Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Proceedings. editor / Maurice H. ter Beek ; Dejan Nickovic. Springer, 2020. pp. 3-69 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{75bc18b6f9474762a99303f0b4aaca36,

title = "The 2020 Expert Survey on Formal Methods",

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.",

keywords = "Cybersecurity, Education, Formal method, Modelling, Safety, Software engineering, Software tool, Specification, Survey, Technology transfer, Verification, n/a OA procedure",

author = "Hubert Garavel and \{Ter Beek\}, \{Maurice H.\} and \{Van De Pol\}, Jaco",

year = "2020",

doi = "10.1007/978-3-030-58298-2\_1",

language = "English",

isbn = "9783030582975",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "3--69",

editor = "\{ter Beek\}, \{Maurice H.\} and Dejan Nickovic",

booktitle = "Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Proceedings",

address = "Germany",

note = "25th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2020, FMICS 2020 ; Conference date: 02-09-2020 Through 03-09-2020",

}

Garavel, H, Ter Beek, MH & Van De Pol, J 2020, The 2020 Expert Survey on Formal Methods. in MH ter Beek & D Nickovic (eds), Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12327 LNCS, Springer, pp. 3-69, 25th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2020, Vienna, Austria, 2/09/20. https://doi.org/10.1007/978-3-030-58298-2_1

The 2020 Expert Survey on Formal Methods. / Garavel, Hubert; Ter Beek, Maurice H.; Van De Pol, Jaco.
Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Proceedings. ed. / Maurice H. ter Beek; Dejan Nickovic. Springer, 2020. p. 3-69 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12327 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - The 2020 Expert Survey on Formal Methods

AU - Garavel, Hubert

AU - Ter Beek, Maurice H.

AU - Van De Pol, Jaco

N1 - Conference code: 25

PY - 2020

Y1 - 2020

N2 - 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.

AB - 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.

KW - Cybersecurity

KW - Education

KW - Formal method

KW - Modelling

KW - Safety

KW - Software engineering

KW - Software tool

KW - Specification

KW - Survey

KW - Technology transfer

KW - Verification

KW - n/a OA procedure

UR - https://www.scopus.com/pages/publications/85091274001

U2 - 10.1007/978-3-030-58298-2_1

DO - 10.1007/978-3-030-58298-2_1

M3 - Conference contribution

AN - SCOPUS:85091274001

SN - 9783030582975

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 3

EP - 69

BT - Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Proceedings

A2 - ter Beek, Maurice H.

A2 - Nickovic, Dejan

PB - Springer

T2 - 25th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2020

Y2 - 2 September 2020 through 3 September 2020

ER -

Garavel H, Ter Beek MH, Van De Pol J. The 2020 Expert Survey on Formal Methods. In ter Beek MH, Nickovic D, editors, Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Proceedings. Springer. 2020. p. 3-69. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-58298-2_1

The 2020 Expert Survey on Formal Methods

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this