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
To add to maven local and use with other projects run
$ gradle publishToMavenLocal
- David Cortés
- Thomas Bøgholm
- Kasper Luckow