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, 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.