Paper Info
Title
Petri Net Model Checking with LoLA 2.
Abstract
LoLA 2 offers a suite of algorithms for verifying place/transition Petri nets. It combines structural with state space methods and general purpose with Petri net-specific techniques. The methods are easily accessible to people with little knowledge of Petri nets since there is a uniform query language based on temporal logic, and the tool takes care of sound application of its methods. Unlike its predecessor LoLA 1, LoLA 2 is based on a strict modularisation and integration of various standard tools. A careful software engineering approach has been used for coding. Through its code quality and its frequent comparison to other tools in the yearly model checking contests, LoLA 2 has become one of the most reliable verification tools for distributed systems.
Year
Venue
Field
2018
Petri Nets
Query language,Model checking,Petri net,Programming language,Suite,Computer science,Coding (social sciences),Temporal logic,Software quality,State space,Distributed computing
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
27
1
Name
Order
Citations
PageRank
Karsten Wolf175742.53