Skip to main content.

This page’s menu:

Academic Licenses

The following releases are available for free for non-profit applications. Please notice that UPPAAL CORA requires Java 5.


UPPAAL CORA has a number of limitations. These limitations are not fundamental, but are a result of using new internal data structures with a currently limited feature set. Over time, these limitations will be resolved.

Version History