A Tool Architecture for the Next Generation of Uppaal

This publication has 15 references indexed in Scilit:

• Modelling and analysis of a commercial field bus protocol
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A theory of timed automata
  Published by Elsevier ,2002
• Formal Verification of UML Statecharts with Real-Time Extensions
  Published by Springer Nature ,2002
• Efficient Guiding Towards Cost-Optimality in UPPAAL
  Published by Springer Nature ,2001
• Are Timed Automata Updatable?
  Published by Springer Nature ,2000
• Distributing Timed Model Checking — How the Search Order Matters
  Published by Springer Nature ,2000
• Efficient Timed Reachability Analysis Using Clock Difference Diagrams
  Published by Springer Nature ,1999
• Automated Parallelization of Discrete State-Space Generation
  Journal of Parallel and Distributed Computing, 1997
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Verification of an Audio Protocol with bus collision using Uppaal
  Published by Springer Nature ,1996