Rabbit Model Checker

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

* Dirk Beyer, Claus Lewerentz, and Andreas Noack. Rabbit: A Tool for BDD-based Verification of Real-Time Systems. In W. A. Hunt and F. Somenzi, editors, "Proceedings of the 15th International Conference on Computer Aided Verification (CAV 2003)", LNCS 2725, pages 122–125, 2003. Springer-Verlag, Berlin.

External links

* [http://www-sst.informatik.tu-cottbus.de/~db/Rabbit/ Rabbit website]


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Rabbit (disambiguation) — A rabbit is an animal.Rabbit may also refer to: Species * European Rabbit * Domestic rabbit * Cottontail rabbit, genus Sylvilagus * Amami Rabbit, Pentalagus furnessi , of East Asia * Hares, genus Lepus , also known as jackrabbits, snowshoe… …   Wikipedia

  • Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… …   Wikipedia

  • Проверка моделей — (проверка на модели, англ. model checking)  метод автоматической формальной верификации параллельных систем с конечным числом состояний. Позволяет проверить удовлетворяет ли заданная модель системы формальным спецификациям. В качестве… …   Википедия

  • DeSoto Suburban — The DeSoto Suburban is an automobile produced by the Chrysler Corporation and sold under its DeSoto automotive brand from 1946 through the 1954 model year. The Suburban was a continuation of DeSoto s long wheelbase models, first introduced in… …   Wikipedia

  • Mitt Romney — Mitt Romney …   Wikipedia

  • Liste von Automuseen in Deutschland — Museum in Melle Die Automuseen in Deutschland sind üblicherweise ganzjährig geöffnet. Darunter befinden sich große öffentliche Museen mit festen Öffnungszeiten ebenso wie kleine Privatsammlungen, die teilweise nur nach Vereinbarung geöffnet sind …   Deutsch Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”