Statements (55)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
software
|
| gptkbp:category |
model checking
|
| gptkbp:developedBy |
gptkb:Aalborg_University
gptkb:Uppsala_University |
| gptkbp:hasFeature |
user-defined types
query language export to various formats support for scripting support for version control support for documentation generation support for performance analysis support for batch processing support for user-defined functions support for hybrid systems support for integration with other tools support for command line interface support for educational use support for collaborative modeling import from various formats animation of models model composition state space exploration support for abstraction techniques support for compositional verification support for continuous time support for counterexample generation support for debugging models support for discrete time support for graphical modeling support for incremental verification support for model checking of timed automata support for model refinement support for research use support for stochastic models support for temporal logic support for user-defined properties support for verification of distributed systems support for verification of embedded systems support for verification of liveness properties support for verification of protocols support for verification of real-time systems support for verification of safety properties timed automata modeling |
| https://www.w3.org/2000/01/rdf-schema#label |
UPPAAL 4.0
|
| gptkbp:includes |
simulation tools
model checking tools |
| gptkbp:language |
gptkb:C++
|
| gptkbp:platforms |
Windows
|
| gptkbp:provides |
graphical user interface
|
| gptkbp:releaseDate |
2013
|
| gptkbp:supports |
automated verification
reachability analysis timed model checking verification of real-time systems |
| gptkbp:uses |
timed automata
|