Exploiting Partial Symmetries in Well-formed Nets for the Reachability and the Linear Time Model Checking Problems

@inproceedings{Baarir2004ExploitingPS,
  title={Exploiting Partial Symmetries in Well-formed Nets for the Reachability and the Linear Time Model Checking Problems},
  author={Soheib Baarir and Serge Haddad and Jean-Michel Ili{\'e}},
  year={2004}
}
Taking advantage of the symmetries of a system is an efficient way to cope with the combinatory explosion involved by the verification process. Whereas numerous algorithms and tools efficiently deal with the verification of a symmetrical formula on a symmetrical model, the management of partial symmetries is still an open research topic. In this work, we present the design and the evaluation of two methods applicable on coloured Petri nets. These two methods are extensions of the symbolic… CONTINUE READING

Citations

Publications citing this paper.
Showing 1-10 of 10 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 11 references

Exploiting Symmetry in Linear Temporal Model Checking: one Step Beyond. In: Proc. of Tools and Algorithms for the Construction and Analysis of Systems TACAS’98

  • K. Ajami, S. Haddad, J.-M
  • Ilié
  • 1998
1 Excerpt

ploiting Symmetry in Linear Temporal Model Checking : one Step Beyond

  • G. Chiola, R. Gaeta
  • Proc . of Tools and Algorithms for the…
  • 1998

metry and Model Checking

  • K. Ajami
  • Formal Methods and System Design
  • 1996

Similar Papers

Loading similar papers…