Uppaal Model Checker

Uppaal Model Checker

Uppaal is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays etc.).

The tool has been developed in collaboration between the Design and Analysis of Real-Time Systems group at Uppsala University, Sweden and Basic Research in Computer Science at Aalborg University, Denmark.

External links

* [http://www.uppaal.com/ Uppaal website]
* [http://www.it.uu.se/research/group/darts/ Design and Analysis of Real-Time Systems group]
* [http://www.cs.auc.dk/research/FS/ Basic Research in Computer Science]


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • 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

  • OpenComRTOS — application view Company / developer Altreonic NV OS family Distributed microkernel Working state Current …   Wikipedia

  • DREAM (software) — The Distributed Real time Embedded Analysis Method (DREAM) is a platform independent open source tool for the verification and analysis of distributed real time and embedded (DRE) systems which focuses on the practical application of formal… …   Wikipedia

  • UMC — may stand for:* Ukrainian Mobile Communications * United Methodist Church * United Microelectronics Corporation * University of Mississippi Medical Center * University Medical Center of Southern Nevada in Las Vegas, Nevada * University Medical… …   Wikipedia

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

Share the article and excerpts

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