Rabbit Model Checker

Rabbit is a model checking tool for real-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.

References

External links

This article is issued from Wikipedia - version of the Thursday, May 03, 2012. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.