CTL Library (Java)

In case of huge ATL models, with many states, is required the use a programmatic construction of these models using an API Library.

Library CTL Library
Example of use NetBeans 7.2 Project

Source code

Java

External dependencies can be viewed and downloaded from Download software page.

The CTL model used in examples is: