Verifying abstractions of timed systems

This publication has 16 references indexed in Scilit:

• Reactive modules
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Computing simulations on finite and infinite graphs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Compositional and symbolic model-checking of real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A theory of timed automata
  Published by Elsevier ,2002
• Timing analysis in COSPAN
  Published by Springer Nature ,1996
• Model checking and modular verification
  ACM Transactions on Programming Languages and Systems, 1994
• Liveness in timed and untimed systems
  Published by Springer Nature ,1994
• Composing specifications
  ACM Transactions on Programming Languages and Systems, 1993
• Using mappings to prove timing properties
  Distributed Computing, 1992
• CCS expressions, finite state processes, and three problems of equivalence
  Information and Computation, 1990