TTool Installation: General information

Basically, to install TTool, you need to:

• Install the TTool archive: You will be able to use edition capabilities of the toolkit, and simulation capabilites of AVATAR and DIPLODOCUS, and some of the formal verification capabilities of DIPLODOCUS.


• Configure TTool. That step is optional if you intend to use only edition capabilities or AVATAR simulation capabilities of TTool.


• Install third-party applications (e.g., UPPAAL, CADP), in order to perform simulation, formal verification, visualization of simulation traces, and visualization of reachability graphs. That step is optional.