Raw Report on the Model Checking Contest at Petri Nets 2012
Software Engineering
2013-09-06 v1
Abstract
This article presents the results of the Model Checking Contest held at Petri Nets 2012 in Hambourg. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. This is the second edition after a successful one in 2011. The participating tools were compared on several examinations (state space generation and evaluation of several types of formulae - structural, reachability, LTL, CTL) run on a set of common models (Place/Transition and Symmetric Petri nets). After a short overview of the contest, this paper provides the raw results from the context, model per model and examination per examination.
Keywords
Cite
@article{arxiv.1209.2382,
title = {Raw Report on the Model Checking Contest at Petri Nets 2012},
author = {F. Kordon and A. Linard and D. Buchs and M. Colange and S. Evangelista and L. Fronc and L. M. Hillah and N. Lohmann and E. Paviot-Adet and F Pommereau and C. Rohr and Y. Thierry-Mieg and H. Wimmel and K. Wolf},
journal= {arXiv preprint arXiv:1209.2382},
year = {2013}
}
Comments
78 pages