Uppaal Model Checker

From Free net encyclopedia

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 is 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.

[edit]

External links

Image:Gnome-system.png This computer-related article is a stub. You can help Wikipedia by expanding it.
Retrieved from "http://www.netipedia.com/index.php/Uppaal_Model_Checker"