The Community for Technology Leaders
RSS Icon
San Diego, CA, USA
Nov. 26, 2001 to Nov. 29, 2001
ISBN: 0-7695-1426-X
pp: 254
Radu Iosif , Kansas State University
ABSTRACT
Detecting symmetries in the structure of systems is a well known technique falling in the class of bisimulation (strongly) preserving state space reductions. Previous work in applying symmetries to aid model checking focuses mainly on process topologies and user specified data types. We applied the symmetry framework to model checking object-based programs that manipulate dynamically created objects, and developed a linear-time heuristic for finding the canonical representative of a symmetry equivalence class. The strategy was implemented in the object-based model checker dSPIN and some experiments, yielding encouraging results, have been carried out.
CITATION
Radu Iosif, "Exploiting Heap Symmetries in Explicit-State Model Checking of Software", ASE, 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) 2001, pp. 254, doi:10.1109/ASE.2001.989811
24 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool