Abstract | ||
---|---|---|
We give a detailed description of SymmSpin, a symmetry-reduction package for Spin. It offers four strategies for state-space reduction, based on the heuristic that we presented in [3], and a fifth mode for reference. A series of new experiments is described, underlining the effectiveness of the heuristic and demonstrating the generalisation of the implementation to multiple scalar sets, multiple process families, as well as almost the full Promela language. |
Year | DOI | Venue |
---|---|---|
2002 | 10.1007/s100090200074 | International Journal on Software Tools for Technology Transfer |
Keywords | DocType | Volume |
model checking,symmetry reduction,spin | Journal | 4 |
Issue | ISBN | Citations |
1 | 3-540-41030-9 | 39 |
PageRank | References | Authors |
2.36 | 15 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Dragan Bosnacki | 1 | 276 | 26.95 |
Dennis Dams | 2 | 39 | 3.04 |
Leszek Holenderski | 3 | 154 | 16.67 |