Document - The 2020 Expert Survey on Formal Methods

2020

Conference article Open Access

The 2020 Expert Survey on Formal Methods

Garavel H., Ter Beek M. H., Van De Pol J.

Formal method Cybersecurity Specification Verification n/a OA procedure [INFO]Computer Science [cs] Software tool Survey Education Technology transfer Modelling Safety Software engineering

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.

Source: 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS'20), pp. 3–69, Vienna, Austria (online), 2-3/9/2020

Citations

AbsInt: Astrée software (2020), http://www.absint.com/astree
Bartocci, E., Beyer, D., Black, P.E., Fedyukovich, G., Garavel, H., Hartmanns, A., Huisman, M., Kordon, F., Nagele, J., Sighireanu, M., Steffen, B., Suda, M., Sutcliffe, G., Weber, T., Yamada, A.: TOOLympics 2019: An overview of competitions in formal methods. In: Beyer, D., Huisman, M., Kordon, F., Steffen, B. (eds.) Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19), Prague, Czech Republic. Lecture Notes in Computer Science, vol. 11429, pp. 3-24. Springer (Apr 2019). https://doi.org/10.1007/978-3-030-17502-3_1
Basile, D., ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F., Piattino, A., Trentini, D., Ferrari, A.: On the industrial uptake of formal methods in the railway domain: A survey with stakeholders. In: Furia, C.A., Winter, K. (eds.) Proceedings of the 14th International Conference on Integrated Formal Methods (iFM'18), Maynooth, Ireland. Lecture Notes in Computer Science, vol. 11023, pp. 20-29. Springer (Sep 2018). https://doi.org/10.1007/978-3-319-98938-9_2
ter Beek, M.H., Borälv, A., Fantechi, A., Ferrari, A., Gnesi, S., Löfving, C., Mazzanti, F.: Adopting formal methods in an industrial setting: The railways case. In: ter Beek, M.H., McIver, A., Oliveira, J.N. (eds.) Proceedings of the 3rd World Congress on Formal Methods (FM'19), Porto, Portugal. Lecture Notes in Computer Science, vol. 11800, pp. 762-772. Springer (Oct 2019). https://doi.org/10.1007/978-3-030-30942-8_46
Bjørner, D., Havelund, K.: 40 years of formal methods - some obstacles and some possibilities? In: Jones, C., Pihlajasaari, P., Sun, J. (eds.) Proceedings of the 19th International Symposium on Formal Methods (FM'14), Singapore. Lecture Notes in Computer Science, vol. 8442, pp. 42-61. Springer (May 2014). https://doi.org/10.1007/978-3-319-06410-9_4
Bowen, J.P., Hinchey, M.G.: Ten commandments of formal methods. IEEE Comput. 28(4), 56-63 (Apr 1995). https://doi.org/10.1109/2.375178
Cerone, A., Roggenbach, M., Davenport, J., Denner, C., Farrell, M., Haveraaen, M., Moller, F., Körner, P., Krings, S., Ölveczky, P., Schlingloff, B.H., Shilov, N., Zhumagambetov, R.: Rooting formal methods within higher education curricula for computer science and software engineering: A white paper. In: Cerone, A., Roggenbach, M. (eds.) FMFun 2019, Revised Selected Papers. Communications in Computer and Information Science, Springer (2020), to appear

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:429026,
	title = {The 2020 Expert Survey on Formal Methods},
	author = {Garavel H. and Ter Beek M. H. and Van De Pol J.},
	doi = {10.1007/978-3-030-58298-2_1},
	booktitle = {25th International Conference on Formal Methods for Industrial Critical Systems (FMICS'20), pp. 3–69, Vienna, Austria (online), 2-3/9/2020},
	year = {2020}
}