Name
Abstract | ||
|---|---|---|
Detection of fair cycles is an important task of many model checking algorithms. When the transition system is represented symbolically, the standard approach to fair cycle detection is the one of Emerson and Lei. In the last decade variants of this algorithm and an alternative method based on strongly connected component decomposition have been proposed. We present a taxonomy of these techniques and compare representatives of each major class on a collection of real-life examples. Our results indicate that the Emerson-Lei procedure is the fastest, but other algorithms tend to generate shorter counter-examples. |
Year | DOI | Venue |
|---|---|---|
2000 | 10.1007/3-540-40922-X_10 | FMCAD |
Keywords | Field | DocType |
fair cycles,important task,comparative study,component decomposition,real-life example,model checking algorithm,last decade variant,fair cycle detection,alternative method,emerson-lei procedure,major class,symbolic algorithms,fair cycle,model checking,strongly connected component | Transition system,Model checking,Computer science,Cycle detection,Symbolic computation,Algorithm,Theoretical computer science,Strongly connected component,Quotient graph,Computation | Conference |
Volume | ISSN | ISBN |
1954 | 0302-9743 | 3-540-41219-0 |
Citations | PageRank | References |
50 | 2.20 | 11 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Kavita Ravi | 1 | 422 | 21.67 |
| Roderick Bloem | 2 | 1708 | 101.26 |
| Fabio Somenzi | 3 | 3394 | 302.47 |