Java API for working with UPPAAL model files.
Allows to create UPPAAL Timed Automata models programmatically in Java. The library also supports loading UPPAAL models and manipulating them
JUppaal is shipped with a Maven build file. To build and install it, simply execute
$ gradle build
- Thomas Bøgholm
- Kasper Luckow