| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10328884 | Electronic Notes in Theoretical Computer Science | 2005 | 15 Pages |
Abstract
We describe the implementation of these algorithms within UppDMC and study their performance on practical examples. Running UppDMC on a simple workstation cluster, we were able to check liveness properties of the largest examples given in the VLTS Benchmark Suite, for which no answers were previously known.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Fredrik Holmén, Martin Leucker, Marcus Lindström,