| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
TOOLympics 2019: An Overview of Competitions in Formal Methods
Ezio Bartocci
1
Dirk Beyer
2
Paul Black
3
Grigory Fedyukovich
4
Hubert Garavel
5
Arnd Hartmanns
6
Marieke Huisman
7
Fabrice Kordon
8
Julian Nagele
9
Mihaela Sighireanu
10
Bernhard Steffen
11
Martin Suda
12
Geoff Sutcliffe
13
Tjark Weber
14
Akihisa Yamada
15
5
CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Hubert Garavel 5
Author IdHAL : hubert-garavel
Arnd Hartmanns 6
Author
Marieke Huisman 7
Author
Fabrice Kordon 8
Author IdHAL : fabrice-kordon ORCID : https://orcid.org/0000-0002-5626-828X
Julian Nagele 9
Author
Mihaela Sighireanu 10
Author IdHAL : mihaela-sighireanu ORCID : https://orcid.org/0000-0002-1925-089X
Bernhard Steffen 11
Author
Martin Suda 12
Author
Geoff Sutcliffe 13
Author
Tjark Weber 14
Author
Akihisa Yamada 15
Author Employer institution : National Institute of Informatics
1
TU WIEN - Technical University of Vienna [Vienna] (Karlsplatz 13, 1040 Vienna - Austria)
2
LMU - Ludwig Maximilian University [Munich] (Professor-Huber-Platz 2, 80539 München, Allemagne - Germany)
3
NIST - National Institute of Standards and Technology [Gaithersburg] (100 Bureau Drive, Stop 1070, Gaithersburg, MD 20899-1070 - United States)
4
Princeton University (Princeton, NJ 08544 USA - United States)
5
CONVECS - Construction of verified concurrent systems (Centre de recherche Inria
655 avenue de l'Europe
38330 Montbonnot Saint-Martin - France)
- Inria Grenoble - Rhône-Alpes (Inovallée
655 avenue de l'Europe
38330 Montbonnot - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- LIG - Laboratoire d'Informatique de Grenoble (UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères
Adresse postale : CS 40700 - 38058 Grenoble cedex 9
Tél. : 04 57 42 14 00 - France)
- Grenoble INP - Institut polytechnique de Grenoble - Grenoble Institute of Technology (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5217 (France)
- UGA [2016-2019] - Université Grenoble Alpes [2016-2019] (CS 40700 - 38058 Grenoble cedex - France)
6
Universität des Saarlandes [Saarbrücken] (Universität des Saarlandes Campus D-66123 Saarbrücken - Germany)
7
University of Twente [Netherlands] (Drienerlolaan 5, 7522 NB Enschede - Netherlands)
8
MoVe - Modélisation et Vérification (France)
- LIP6 (4 Place JUSSIEU 75252 PARIS CEDEX 05 - France)
- SU - Sorbonne Université (21 rue de l’École de médecine - 75006 Paris - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7606 (France)
9
QMUL - Queen Mary University of London (Mile End Road, London E1 4NS - United Kingdom)
10
IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale (Université de Paris
Bâtiment Sophie Germain, Case courrier 7014
8 Place Aurélie Nemours
75205 Paris Cedex 13 - France)
- UPD7 - Université Paris Diderot - Paris 7 : UMR_8243 (5 rue Thomas-Mann - 75205 Paris cedex 13 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR_8243 (France)
11
TU - Technische Universität Dortmund [Dortmund] (44221 Dortmund - Germany)
12
CTU - Czech Technical University in Prague (České vysoké učení technické v Praze Zikova 1903/4 166 36 Praha 6 Česká republika - Czech Republic)
13
University of Miami [Coral Gables] ( 1320 S Dixie Hwy, Coral Gables, FL 33146 - United States)
14
Uppsala University (Box 256, SE-751 05 Uppsala - Sweden)
15
NII - National Institute of Informatics (2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430 - Japan)
Abstract : Evaluation of scientific contributions can be done in many different ways. For the various research communities working on the verification of systems (software, hardware, or the underlying involved mechanisms), it is important to bring together the community and to compare the state of the art, in order to identify progress of and new challenges in the research area. Competitions are a suitable way to do that. The first verification competition was created in 1992 (SAT
competition), shortly followed by the CASC competition in 1996. Since the year 2000, the number of dedicated verification competitions is steadily increasing. Many of these events now happen regularly, gathering researchers that would like to understand how well their research prototypes work in practice. Scientific results have to be reproducible,
and powerful computers are becoming cheaper and cheaper, thus, these competitions are becoming an important means for advancing research in verification technology. TOOLympics 2019 is an event to celebrate the achievements of the various competitions, and to understand their commonalities and differences. This volume is dedicated to the presentation of the 16 competitions that joined TOOLympics as part of the celebration of the 25th anniversary of the TACAS conference.
Document type :
Conference papers
Complete list of metadata
https://hal.sorbonne-universite.fr/hal-02094030
Contributor : Fabrice Kordon <>
Submitted on : Tuesday, April 9, 2019 - 1:55:53 PM
Last modification on : Tuesday, March 23, 2021 - 9:28:02 AM
Contributor : Fabrice Kordon <>
Submitted on : Tuesday, April 9, 2019 - 1:55:53 PM
Last modification on : Tuesday, March 23, 2021 - 9:28:02 AM
Links full text
Identifiers
- HAL Id : hal-02094030, version 1
- DOI : 10.1007/978-3-030-17502-3_1
Collections
SORBONNE-UNIVERSITE | CNRS | LIG | LIG_MFML_CONVECS | CONVECS | INRIA | UNIV-PARIS7 | LIP6 | USPC | SU-SCIENCES | UNIV-PARIS | UP-SCIENCES | UGA | SU-TI
Citation
Ezio Bartocci, Dirk Beyer, Paul Black, Grigory Fedyukovich, Hubert Garavel, et al.. TOOLympics 2019: An Overview of Competitions in Formal Methods. 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Apr 2019, Prague, Czech Republic. pp.3-24, ⟨10.1007/978-3-030-17502-3_1⟩. ⟨hal-02094030⟩
Metrics
Record views