|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
Fourth International Conference on Application of Concurrency to System Design (ACSD'04)
New Orbit Algorithms for Data Symmetries
Hamilton, Ontario, Canada
June 16-June 18
ISBN: 0-7695-2077-4
| ASCII Text | x | ||
| Tommi A. Junttila, "New Orbit Algorithms for Data Symmetries," 2010 10th International Conference on Application of Concurrency to System Design, pp. 175, Fourth International Conference on Application of Concurrency to System Design (ACSD'04), 2004. | |||
| BibTex | x | ||
| @article{ 10.1109/CSD.2004.1309130, author = {Tommi A. Junttila}, title = {New Orbit Algorithms for Data Symmetries}, journal ={2010 10th International Conference on Application of Concurrency to System Design}, volume = {0}, year = {2004}, isbn = {0-7695-2077-4}, pages = {175}, doi = {http://doi.ieeecomputersociety.org/10.1109/CSD.2004.1309130}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - 2010 10th International Conference on Application of Concurrency to System Design TI - New Orbit Algorithms for Data Symmetries SN - 0-7695-2077-4 SP EP A1 - Tommi A. Junttila, PY - 2004 KW - null VL - 0 JA - 2010 10th International Conference on Application of Concurrency to System Design ER - | |||
State space symmetries can be exploited in model checking of concurrent systems by identifying states that are equivalent under the symmetries. The core problem during the generation of the symmetry reduced state space is to determine whether two states are equivalent, or alternatively, to transform states into equivalent, canonical representatives. This paper introduces new algorithms for these orbit problems under state space symmetries that are produced by symmetric use of data values. Some experimental results comparing the efficiency of the proposed algorithms against the ones in the Mur tool are provided.
Citation:
Tommi A. Junttila, "New Orbit Algorithms for Data Symmetries," acsd, pp.175, Fourth International Conference on Application of Concurrency to System Design (ACSD'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.
