Statements (56)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
software
|
| gptkbp:developedBy |
gptkb:Aalborg_University
gptkb:Uppsala_University |
| gptkbp:hasFeature |
graphical user interface
visualization tools user-defined types query language model validation export to various formats support for performance analysis support for security analysis support for user-defined functions interactive simulation support for distributed systems support for modular design support for extensions support for hybrid systems support for optimization problems support for real-time scheduling bounded model checking support for collaborative modeling automated test generation reachability analysis simulation of timed automata state space exploration support for component-based modeling support for continuous time support for decision problems support for discrete time support for fault tolerance analysis support for liveness analysis support for model checking with fairness support for networks of timed automata support for performance evaluation support for probabilistic timed automata support for real-time constraints support for safety analysis support for synthesis problems support for system verification support for system-level modeling support for temporal logic support for timed games support for verification of algorithms support for verification of protocols support for verification of systems timed automata modeling |
| https://www.w3.org/2000/01/rdf-schema#label |
UPPAAL 4.1
|
| gptkbp:operatingHours |
Linux
Windows macOS |
| gptkbp:provides |
simulation
model checking |
| gptkbp:publishedIn |
gptkb:C++
|
| gptkbp:releasedIn |
2013
|
| gptkbp:supports |
timed automata
|
| gptkbp:usedIn |
verification of real-time systems
|