Constraint-based automatic symmetry detection

Constraint-based automatic symmetry detection

We present an automatic approach to detecting symmetry relations for general concurrent models. Despite the success of symmetry reduction in mitigating state explosion problem, one essential step towards its soundness and effectiveness, i.e., how to discover sufficient symmetries with least human ef...

Full description

Saved in:
Bibliographic Details
Main Authors: ZHANG, Shao Jie, SUN, Jun, SUN, Chengnian, LIU, Yang, MA, Junwei, DONG, Jin Song
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2013
Subjects:
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/5005
https://ink.library.smu.edu.sg/context/sis_research/article/6008/viewcontent/Constraint_based_Automatic_Symmetry_Detection.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/5005
https://ink.library.smu.edu.sg/context/sis_research/article/6008/viewcontent/Constraint_based_Automatic_Symmetry_Detection.pdf

Similar Items