Uppaal Model Checker
| Developer(s) | Uppsala University Aalborg University |
|---|---|
| Initial release | 1999 |
| Stable release | 4.0.11
/ February 11, 2010 |
| Written in | C++ and GUI in Java |
| Operating system | Linux Mac OS X Microsoft Windows |
| Available in | English |
| Type | Model checking |
| License | Commercial Licenses Academic Licenses |
| Website | http://www.uppaal.com/ |
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
- Uppaal website
- Design and Analysis of Real-Time Systems group
- DES unit, Dept. Computer Science at AAU
 | This formal methods-related article is a stub. You can help Wikipedia by expanding it. |