Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
software
|
| gptkbp:application |
automated systems
embedded systems network protocols real-time systems control systems |
| gptkbp:developedBy |
gptkb:Uppsala_University
|
| gptkbp:features |
graphical user interface
simulation capabilities modeling language |
| https://www.w3.org/2000/01/rdf-schema#label |
UPPAAL 1.0
|
| gptkbp:license |
proprietary
|
| gptkbp:platforms |
Windows
|
| gptkbp:provides |
verification tools
|
| gptkbp:publishedIn |
gptkb:C++
|
| gptkbp:releaseDate |
1995
|
| gptkbp:successor |
gptkb:UPPAAL_4.0
|
| gptkbp:supports |
timed automata
|
| gptkbp:usedFor |
model checking
|