Distributed Verification with LoLA

Joint Annual Conference of the GI Special Interest Groups "Petrinetze und verwandte Systemmodelle" and EMISA

计算机科学;社会科学（总论）

Karsten Schmidt

Others  :  http://CEUR-WS.org/Vol-65/08schmidt.pdf
PID  :  48722

来源: CEUR

【 摘 要 】

We report work in progress on a distributed version of explicit state space generation in the Petri net verifcation 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.