In case of huge CTL models, with many states, is required the use a programmatic construction of these models using an API Library.
| Library | CTL Library | |
| Example of use | Visual Studio 2010 Project | |
Source code |
||
External dependencies can be viewed and downloaded from Download software page.
The CTL model used in examples is:
