Symmetry and partial order reduction techniques in model checking Rebeca

@article{Jaghoori2007SymmetryAP,
  title={Symmetry and partial order reduction techniques in model checking Rebeca},
  author={Mohammad Mahdi Jaghoori and Marjan Sirjani and Mohammad Reza Mousavi and Ehsan Khamespanah and Ali Movaghar-Rahimabadi},
  journal={Acta Informatica},
  year={2007},
  volume={47},
  pages={33-66}
}
Rebeca is an actor-based language with formal semantics which is suitable for modeling concurrent and distributed systems and protocols. Due to its object model, partial order and symmetry detection and reduction techniques can be efficiently applied to dynamic Rebeca models. We present two approaches for detecting symmetry in Rebeca models: One that detects symmetry in the topology of inter-connections among objects and another one which exploits specific data structures to reflect internal… CONTINUE READING
BETA

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 22 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 36 REFERENCES

Similar Papers

Loading similar papers…