Jump to content

Uppaal Model Checker

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by 65.164.22.138 (talk) at 15:32, 24 October 2008 (gramattical error). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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


Stub icon

This formal methods-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Uppaal_Model_Checker&oldid=247397923"