Model Checking Contest @ Petri Nets 2015
Bruxelles, Belgium, June 23, 2015
LoLA 2.0 versus other tools, all performance charts («Known» models)
Last Updated
August 19, 2015


This page allows you to have a look on how LoLA2.0 performs face to other tools in the following examinations:

Examinations for which the tool does not compete are not listed.