Loading AI tools
Integrated tool environment From Wikipedia, the free 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.).
Developer(s) | Uppsala University Aalborg University |
---|---|
Initial release | 1995 |
Stable release | 5.0.0
/ July 14, 2023 |
Preview release | 5.1.0-beta3
/ October 23, 2023 |
Written in | C++ and GUI in Java |
Operating system | Linux Mac OS X Microsoft Windows |
Available in | English Danish Japanese Chinese Lithuanian |
Type | Model checking |
License | Commercial Licenses Academic Licenses |
Website | http://www.uppaal.org/ http://www.uppaal.com/ |
It has been used in at least 17 case studies since its release in 1995, including on Lego Mindstorms, for the Philips audio protocol, and in gearbox controllers for Mecel.[1]
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.
There are the following extensions available: