Skip to main content
Conference Proceedings

Running LoLA 2.0 in a model checking competition

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2016) 9930 LNCS 274-285
DOI: 10.1007/978-3-662-53401-4_13
7Citations
Citations of this article
1Readers
Mendeley users who have this article in their library.
Get full text

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.

Cite

CITATION STYLE

APA

Wolf, K. (2016). Running LoLA 2.0 in a model checking competition. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9930 LNCS, pp. 274–285). Springer Verlag. https://doi.org/10.1007/978-3-662-53401-4_13

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free