The 2020 Expert Survey on Formal Methods

被引：43
作者：
Garavel, Hubert [1 ]
ter Beek, Maurice H. [2 ]
van de Pol, Jaco [3 ,4 ]
机构：
[1] Univ Grenoble Alpes, CNRS, INRIA, Grenoble INP,LIG, F-38000 Grenoble, France
[2] CNR, ISTI, Pisa, Italy
[3] Aarhus Univ, Aarhus, Denmark
[4] Univ Twente, Enschede, Netherlands
来源：
FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2020 | 2020年 / 12327卷
关键词：
Cybersecurity; Education; Formal method; Modelling; Safety; Software engineering; Software tool; Specification; Survey; Technology transfer; Verification;
D O I：
10.1007/978-3-030-58298-2_1
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
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.
引用
收藏
页码：3 / 69
页数：67
相关论文
共 24 条
[1]  
AbsInt, 2020, ASTR SOFTW
[2]   TOOLympics 2019: An Overview of Competitions in Formal Methods [J].
Bartocci, Ezio ;
Beyer, Dirk ;
Black, Paul E. ;
Fedyukovich, Grigory ;
Garavel, Hubert ;
Hartmanns, Arnd ;
Huisman, Marieke ;
Kordon, Fabrice ;
Nagele, Julian ;
Sighireanu, Mihaela ;
Steffen, Bernhard ;
Suda, Martin ;
Sutcliffe, Geoff ;
Weber, Tjark ;
Yamada, Akihisa .
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT III, 2019, 11429 :3-24
[3]   On the Industrial Uptake of Formal Methods in the Railway Domain A Survey with Stakeholders [J].
Basile, Davide ;
ter Beek, Maurice H. ;
Fantechi, Alessandro ;
Gnesi, Stefania ;
Mazzanti, Franco ;
Piattino, Andrea ;
Trentini, Daniele ;
Ferrari, Alessio .
INTEGRATED FORMAL METHODS, IFM 2018, 2018, 11023 :20-29
[4]  
Beek Maurice H., 2019, Formal Methods - The Next 30 Years. Third World Congress, FM 2019. Proceedings. Lecture Notes in Computer Science (LNCS 11800), P762, DOI 10.1007/978-3-030-30942-8_46
[5]  
Bjorner D, 2014, LECT NOTES COMPUT SC, V8442, P42, DOI 10.1007/978-3-319-06410-9_4
[6]   10-COMMANDMENTS OF FORMAL METHODS [J].
BOWEN, JP ;
HINCHEY, MG .
COMPUTER, 1995, 28 (04) :56-63
[7]  
Cerone A., 2020, CCIS, V1301
[8]   Formal methods: State of the art and future directions [J].
Clarke, EM ;
Wing, JM .
ACM COMPUTING SURVEYS, 1996, 28 (04) :626-643
[9]  
Davis JA, 2013, LECT NOTES COMPUT SC, V8187, P63, DOI 10.1007/978-3-642-41010-9_5
[10]   Comparing Formal Tools for System Design: a Judgment Study [J].
Ferrari, Alessio ;
Mazzanti, Franco ;
Basile, Davide ;
ter Beek, Maurice H. ;
Fantechi, Alessandro .
2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2020), 2020, :62-74
123