Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019

Autor: Lom Messan Hillah, Loïg Jezequel, Fabrice Kordon, Emmanuel Paviot-Adet, Francis Hulin-Hubard

Publikováno v: International Journal on Software Tools for Technology Transfer
International Journal on Software Tools for Technology Transfer, 2021, ⟨10.1007/s10009-021-00615-1⟩
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2021, ⟨10.1007/s10009-021-00615-1⟩

In various scientific communities dealing with formal analysis, software competitions have emerged and contributed to fostering progress in state of the art and providing insight into the evolution of the involved technologies. The model checking con

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c370dd48f30cffce388c6ed27638e9d0
https://hal.sorbonne-universite.fr/hal-03251314/document

Presentation of the 9th Edition of the Model Checking Contest

Autor: Lom Messan Hillah, Fabrice Kordon, Silvano Dal Zilio, Bernard Berthomieu, Jeroen Meijer, Loïg Jezequel, Andrew S. Miner, Peter Gjøl Jensen, Didier Le Botlan, Gianfranco Ciardo, Elvio Gilberto Amparore, Tom van Dijk, Yann Thierry-Mieg, Torsten Liebke, Francis Hulin-Hubard, Karsten Wolf, Emmanuel Paviot-Adet, Jiří Srba, Francesco Gallà

Publikováno v: Tools and Algorithms for the Construction and Analysis of Systems-25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III
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⟩
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030175016
TACAS (3)
Amparore, E, Berthomieu, B, Ciardo, G, Dal Zilio, S, Gallà, F, Hillah, L M, Hulin-Hubard, F, Jensen, P G, Jezequel, L, Kordon, F, Le Botlan, D, Liebke, T, Meijer, J, Miner, A, Paviot-Adet, E, Srba, J, Thierry-Mieg, Y, van Dijk, T & Wolf, K 2019, Presentation of the 9th Edition of the Model Checking Contest . in F Kordon, M Huisman, B Steffen & D Beyer (eds), International Conference on Tools and Algorithms for the Construction and Analysis of Systems : TACAS 2019: Tools and Algorithms for the Construction and Analysis of Systems . Springer, Lecture Notes in Computer Science, vol. 11429, pp. 50-68, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, 06/04/2019 . https://doi.org/10.1007/978-3-030-17502-3_4
Tools and Algorithms for the Construction and Analysis of Systems-25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, 50-68
STARTPAGE=50;ENDPAGE=68;TITLE=Tools and Algorithms for the Construction and Analysis of Systems-25 Years of TACAS

International audience; 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 sp

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::83d20bac4d677364c4f761e84dd91386
https://hal.sorbonne-universite.fr/hal-02094047

BenchKit, a Tool for Massive Concurrent Benchmarking

Autor: Fabrice Kordon, Francis Hulin-Hubard

Publikováno v: 14th International Conference on Application of Concurrency to System Design (ACSD'14)
14th International Conference on Application of Concurrency to System Design (ACSD'14), Jun 2014, Tunis, Tunisia. pp.159-165, ⟨10.1109/ACSD.2014.12⟩
ACSD

International audience; Benchmarking numerous programs in a reasonable time requires the use of several (potentially multicore) computers. We experimented such a situation in the context of the MCC (Model Checking Contest @ Petri net) where we had to

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::925d5141e8d8f9901348bf83fb8d453f
https://hal.archives-ouvertes.fr/hal-01091157

Model Checking Contest @ Petri Nets, Report on the 2013 edition

Autor: Fabrice Kordon, Alban Linard, Marco Beccuti, Didier Buchs, Lukasz Fronc, Lom−Messan Hillah, Francis Hulin−Hubard, Fabrice Legond−Aubry, Niels Lohmann, Alexis Marechal, Emmanuel Paviot−Adet, Franck Pommereau, César Rodríguez, Christian Rohr, Yann Thierry−Mieg, Harro Wimmel, Karsten Wolf

This document presents the results of the Model Checking Contest held at Petri Nets 2013 in Milano. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. This is the third edi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9a7ae6f1bf6f6d8180ecc8f9a7bd7137
http://arxiv.org/abs/1309.2485

A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems

Autor: Étienne André, Benôıt Barbot, Clément Démoulins, Lom Messan Hillah, Francis Hulin−Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci, others

Publikováno v: Proceedings of (ICFEM'13).

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1064::075565f91ddc2998a4392f9d262500b2
http://ora.ox.ac.uk/objects/uuid:96db04ed-cd22-422c-8301-0d2778d0fd77