Java API

UPPAAL models can be created, loaded, saved, simulated and checked using libs/model.jar library. There is also javadoc included libs/model-javadoc.jar.

A demonstrating example is included in the demo/ModelDemo.java file.