Adding Symmetry Reduction to Uppaal

  title={Adding Symmetry Reduction to Uppaal},
  author={Martijn Hendriks and Gerd Behrmann and Kim G. Larsen and Peter Niebert and Frits W. Vaandrager},
We describe a prototype extension of the Uppaal real-time model checking tool with symmetry reduction. The symmetric data type scalarset, which is also used in the Murφ model checker, was added to Uppaal’s system description language to support the easy static detection of symmetries. Our prototype tool uses state swaps, described and proven sound earlier by Hendriks, to reduce the space and memory consumption of Uppaal. Moreover, under certain assumptions the reduction strategy is canonical… CONTINUE READING
Highly Cited
This paper has 100 citations. REVIEW CITATIONS
63 Citations
30 References
Similar Papers


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

101 Citations

Citations per Year
Semantic Scholar estimates that this publication has 101 citations based on the available data.

See our FAQ for additional information.


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

Timed automata

  • R. Alur
  • 11th International Conference on Computer Aided…
  • 1999
Highly Influential
5 Excerpts

Adding symmetry reduction to uppaal

  • M. Hendriks, G. Behrmann, K. G. Larsen, P. Niebert, F. W. Vaandrager
  • Formal Modeling and Analysis of Timed Systems…
  • 2004
1 Excerpt

The Symmetry Method for Coloured Petri Nets - Theory, Tools, and Practical Use

  • L. Elgaard
  • PhD thesis,
  • 2002
1 Excerpt

Similar Papers

Loading similar papers…