Presentation of the 9th Edition of the Model Checking Contest - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Presentation of the 9th Edition of the Model Checking Contest

Francesco Gallà
  • Fonction : Auteur
Francis Hulin-Hubard
  • Fonction : Auteur
Peter Gjøl Jensen
  • Fonction : Auteur
Fabrice Kordon
Andrew Miner
  • Fonction : Auteur
Jiří Srba
  • Fonction : Auteur
  • PersonId : 961870
Yann Thierry-Mieg
Karsten Wolf
  • Fonction : Auteur

Résumé

The Model Checking Contest (MCC) is an annual competition of software tools for model checking. Tools must process an increasing benchmark gathered from the whole community and may participate in various examinations: state space generation, computation of global properties, computation of some upper bounds in the model, evaluation of reachability formulas, evaluation of CTL formulas, and evaluation of LTL formulas. For each examination and each model instance, participating tools are provided with up to 3600 s and 16 gigabyte of memory. Then, tool answers are analyzed and confronted to the results produced by other competing tools to detect diverging answers (which are quite rare at this stage of the competition, and lead to penalties). For each examination, golden, silver, and bronze medals are attributed to the three best tools. CPU usage and memory consumption are reported, which is also valuable information for tool developers.

Dates et versions

hal-02094047 , version 1 (09-04-2019)

Identifiants

Citer

Elvio Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal Zilio, Francesco Gallà, et al.. Presentation of the 9th Edition of the Model Checking Contest. Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III, Apr 2019, Prague, Czech Republic. pp.50-68, ⟨10.1007/978-3-030-17502-3_4⟩. ⟨hal-02094047⟩
417 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More