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

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

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: http://arxiv.org/abs/1309.2485

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

MCC'2017 - The Seventh Model Checking Contest

Autor: Kordon, Fabrice, Garavel, Hubert, Hillah, Lom-Messan, Paviot-Adet, Emmanuel, Jezequel, Loïg, Hulin-Hubard, Francis, Amparore, Elvio Gilberto, Beccuti, Marco, Berthomieu, Bernard, Evrard, Hugues, Jensen, Peter Gjøl, Botlan, Didier Le, Liebke, Torsten, Meijer, Jeroen, Srba, Jirí, Thierry-Mieg, Yann, Pol, Jaco van de, Wolf, Karsten, Koutny, Maciej, Kristensen, Lars Michael, Penczek, Wojciech

Publikováno v: Transactions on Petri Nets and Other Models of Concurrency XIII, 181-209
STARTPAGE=181;ENDPAGE=209;TITLE=Transactions on Petri Nets and Other Models of Concurrency XIII
Kordon, F, Garavel, H, Hillah, L M, Paviot-Adet, E, Jezequel, L, Hulin-Hubard, F, Amparore, E, Beccuti, M, Berthomieu, B, Evrard, H, Jensen, P G, Le Botlan, D, Liebke, T, Meijer, J, Srba, J, Thierry-Mieg, Y, van de Pol, J & Wolf, K 2018, MCC’2017 : The Seventh Model Checking Contest . in M Koutny, L M Kristensen & W Penczek (eds), Transactions on Petri Nets and Other Models of Concurrency XIII . Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11090 LNCS, pp. 181-209 . https://doi.org/10.1007/978-3-662-58381-4_9
Transactions on Petri Nets and Other Models of Concurrency XIII
Transactions on Petri Nets and Other Models of Concurrency XIII, 11090, Springer, pp.181-209, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-58381-4_9⟩
LNCS Transactions on Petri Nets and Other Models of Concurrency
LNCS Transactions on Petri Nets and Other Models of Concurrency, 11090, pp.181-209, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-58381-4_9⟩
Transactions on Petri Nets and Other Models of Concurrency XIII ISBN: 9783662583807

International audience; Created in 2011, the Model Checking Contest (MCC) is an annual competition dedicated to provide a fair evaluation of software tools that verify concurrent systems using state-space exploration techniques and model checking. Th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4696efcd030f01ec2ee3248e1fb6e388
https://research.utwente.nl/en/publications/ba17030e-003a-4e3b-9bea-553baf3bf0c1

Automation and intelligent scheduling of distributed system functional testing: Model-based functional testing in practice

Autor: Hillah, Lom Messan, Maesano, Ariele-Paolo, de Rosa, Fabio, Kordon, Fabrice, Wuillemin, Pierre-Henri, Fontanelli, Riccardo, Di Bona, Sergio, Guerri, Davide, Maesano, Libero

Publikováno v: International Journal on Software Tools for Technology Transfer
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2017, 19 (3), pp.281-308. ⟨10.1007/s10009-016-0440-3⟩
International Journal on Software Tools for Technology Transfer, 2017, 19 (3), pp.281-308. ⟨10.1007/s10009-016-0440-3⟩

International audience; This paper presents the approach to functional test automation of services (black-box testing) and service archi-tectures (grey-box testing) that has been developed within the MIDAS project and is accessible on the MIDAS SaaS.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ceccce46e449ee09e287fa018ecb7fd2
https://hal.sorbonne-universite.fr/hal-01397009

MCC’2015 – The Fifth Model Checking Contest

Autor: Kordon, Fabrice, Garavel, Hubert, Hillah, Lom Messan, Paviot-Adet, Emmanuel, Jezequel, Loïg, Rodríguez, César, Hulin-Hubard, Francis

Publikováno v: LNCS Transactions on Petri Nets and Other Models of Concurrency
LNCS Transactions on Petri Nets and Other Models of Concurrency, 2016, Lecture Notes in Computer Science, 9930, pp.262-273. ⟨10.1007/978-3-662-53401-4_12⟩
LNCS Transactions on Petri Nets and Other Models of Concurrency, Springer, 2016, Lecture Notes in Computer Science, 9930, pp.262-273. ⟨10.1007/978-3-662-53401-4_12⟩

International audience; The Model Checking Contest (MCC) is an annual competition between software tools that verify concurrent systems using state-space exploration techniques, either explicit-state or symbolic. The present article provides a compre

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d2e4fb031536ba73408c806b5acfbf30
https://inria.hal.science/hal-01361274/file/main.pdf