Paper Info
Title
Running LoLA 2.0 in a Model Checking Competition.
Abstract
We report on the performance of the tool LoLA 2.0 in the model checking contest (MCC) 2015. As in the years before, LoLA ranked first in the reachability category of the contest. We identify critical success factors and discuss the impact of the contest design. Conclusions include further improvements for the tool as well as suggestions concerning the setup of future contests.
Year
DOI
Venue
2016
10.1007/978-3-662-53401-4_13
Lecture Notes in Computer Science
DocType
Volume
ISSN
Journal
9930
0302-9743
Citations 
PageRank 
References 
5
0.46
17
Authors
1
Name
Order
Citations
PageRank
Karsten Wolf175742.53