At a Glance
| Applications | Model Checker |
| Developers | Aalborg University Uppsala Universitet |
| Licenses | All Rights Reserved |
| Maintenance | Actively Maintained |
Description
Closed-Source Tool
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.).