Statements (59)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
model checking tool
|
| gptkbp:availableIn |
Linux
Windows macOS |
| gptkbp:developedBy |
gptkb:Aalborg_University
gptkb:Uppsala_University |
| gptkbp:firstPublished |
1995
|
| gptkbp:hasFeature |
support for scripting
support for performance analysis support for batch processing support for user-defined functions support for distributed systems support for hybrid systems support for command line interface support for user-defined data types model checking for timed automata support for abstraction techniques support for bounded model checking support for continuous time support for counterexamples support for discrete time support for external tool integration support for graphical modeling support for hierarchical modeling support for model refinement support for modular modeling support for multiple instances support for parameterized systems support for performance metrics support for probabilistic models support for real-time constraints support for simulation traces support for state space reduction support for system-level modeling support for temporal logic support for trace analysis support for user-defined properties support for visual debugging |
| gptkbp:hasSkill |
gptkb:UPPAAL_SMC
gptkb:UPPAAL_Cora gptkb:UPPAAL_Tiga |
| gptkbp:hasVersion |
gptkb:UPPAAL_3.1
gptkb:UPPAAL_4.0 gptkb:UPPAAL_2.0 gptkb:UPPAAL_4.1 gptkb:UPPAAL_1.0 |
| https://www.w3.org/2000/01/rdf-schema#label |
UPPAAL
|
| gptkbp:provides |
simulation
model checking |
| gptkbp:supports |
interactive simulation
automated verification reachability analysis scheduling analysis timed automata |
| gptkbp:usedFor |
verification of real-time systems
|
| gptkbp:usedIn |
academic research
industrial applications |
| gptkbp:userInterface |
graphical user interface
|
| gptkbp:uses |
XML_format_for_models
|