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.

External links

• Uppaal website
• Design and Analysis of Real-Time Systems group
• Basic Research in Computer Science