Distributed Verification with LoLA

Issue title: Concurrency Specification and Programming (CS&P'2002), Part 1

Article type: Research Article

Authors: Schmidt, Karsten

Affiliations: Institut für Informatik, Humboldt-Universität zu Berlin, 10099 Berlin, Germany

Abstract: We report work in progress on a distributed version of explicit state space generation in the Petri net verification tool LoLA. We propose a data structure where all available memory of all involved workstations can be fully exploited, and load balancing actions are possible at any time while the verification is running. It is even possible to extend the set of involved workstations while a verification is running.

Keywords: Petri net, state space, distributed verification

Journal: Fundamenta Informaticae, vol. 54, no. 2-3, pp. 253-262, 2003