Distributing Timed Model Checking — How the Search Order Matters

This publication has 13 references indexed in Scilit:

• Efficient verification of real-time systems: compact data structure and state-space reduction
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Formal verification of a TDMA protocol start-up mechanism
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• 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
• A theory of timed automata
  Published by Elsevier ,2002
• Formal Verification of a Power Controller Using the Real-Time Model Checker Uppaal
  Published by Springer Nature ,1999
• On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1999
• Uppaal in a nutshell
  International Journal on Software Tools for Technology Transfer, 1997
• A compositional proof of a real-time mutual exclusion protocol
  Published by Springer Nature ,1997
• The Mur ϕ verification system
  Published by Springer Nature ,1996
• Parallel state space exploration for GSPN models
  Published by Springer Nature ,1995