Adding Symmetry Reduction to Uppaal

This publication has 20 references indexed in Scilit:

• Automata for modeling real-time systems
  Published by Springer Nature ,2005
• Protocol verification as a hardware design aid
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The Symmetry Method for Coloured Petri Nets
  DAIMI Report Series, 2002
• A Heuristic for Symmetry Reductions with Scalarsets
  Published by Springer Nature ,2001
• Exploiting symmetry in temporal logic model checking
  Formal Methods in System Design, 1996
• An old-fashioned recipe for real time
  ACM Transactions on Programming Languages and Systems, 1994
• Bounds on the time to reach agreement in the presence of timing uncertainty
  Journal of the ACM, 1994
• Model-Checking in Dense Real-Time
  Information and Computation, 1993
• Timing assumptions and verification of finite-state concurrent systems
  Published by Springer Nature ,1990