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, ProVerif), in order to perform simulation (a c++ compiler is necessary), formal verification (for safety proofs, TTool has its own model-checker, or you may use UPPAAL. For security proofs, you must install ProVerif), visualization of simulation traces (e.g;, gtkwave). That step is optional.