Bounded Model Checking for Timed Systems

This publication has 13 references indexed in Scilit:

• Two examples of verification of multirate timed automata with Kronos
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions
  Published by Springer Nature ,2002
• Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems
  Published by Springer Nature ,2000
• Symbolic Model Checking without BDDs
  Published by Defense Technical Information Center (DTIC) ,1999
• Timed Automata
  Published by Springer Nature ,1999
• Kronos: A model-checking tool for real-time systems
  Published by Springer Nature ,1998
• Model-checking for real-time systems
  Published by Springer Nature ,1995
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• Temporal and Modal Logic
  Published by Elsevier ,1990
• A fast mutual exclusion algorithm
  ACM Transactions on Computer Systems, 1987