TTool Installation: General informationBasically, 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.