Rabbit: A Tool for BDD-Based Verification of Real-Time Systems

This publication has 8 references indexed in Scilit:

• A theory of timed automata
  Published by Elsevier ,2002
• UPPAAL - Now, Next, and Future
  Published by Springer Nature ,2001
• Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs
  Published by Springer Nature ,2001
• Improvements in BDD-Based Reachability Analysis of Timed Automata
  Published by Springer Nature ,2001
• Model checking timed automata
  Published by Springer Nature ,1998
• KRONOS: a verification tool for real-time systems
  International Journal on Software Tools for Technology Transfer, 1997
• Some progress in the symbolic verification of timed automata
  Published by Springer Nature ,1997
• Symbolic model checking for sequential circuit verification
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994