Sciweavers

Share
CAV
2003
Springer

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

9 years 3 months ago
Rabbit: A Tool for BDD-Based Verification of Real-Time Systems
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides reachability analysis and refinement checking, both implemented using the data structure BDD. Good variable orderings for the BDDs are computed from the modular structure of the model and an estimate of the BDD size. This leads to a significant performance improvement compared to the tool RED and the BDD-based version of Kronos.
Dirk Beyer, Claus Lewerentz, Andreas Noack
Added 23 Aug 2010
Updated 23 Aug 2010
Type Conference
Year 2003
Where CAV
Authors Dirk Beyer, Claus Lewerentz, Andreas Noack
Comments (0)
books