Efficient symmetry reduction for an actor-based model

M.M. Jaghoori, M. Sirjani, M.R. Mousavi, A. Movaghar

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

12 Citations (Scopus)


Symmetry reduction is a promising technique for combatting state space explosion in model checking. The problem of finding the equivalence classes, i.e., the so-called orbits, of states under symmetry is a difficult problem known to be as hard as graph isomorphism. In this paper, we show how we can automatically find the orbits in an actor-based model, called Rebeca, without enforcing any restriction on the modeler. The proposed algorithm solves the orbit problem for Rebeca models in polynomial time. As a result, the simple actor-based Rebeca language can be utilized efficiently for modeling and verification of systems, without involving the modeler with the details of the verification technique implemented.
Original languageEnglish
Title of host publicationDistributed Computing and Internet Technology
Subtitle of host publicationSecond International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005. Proceedings
EditorsG. Chakraborty
Place of PublicationBerlin
Number of pages14
ISBN (Electronic)978-3-540-32429-4
ISBN (Print)3-540-30999-3, 978-3-540-30999-4
Publication statusPublished - 2005

Publication series

NameLecture Notes in Computer Science (LNCS)
ISSN (Print)0302-9743


Dive into the research topics of 'Efficient symmetry reduction for an actor-based model'. Together they form a unique fingerprint.

Cite this