Formal techniques require high-quality tool support.
A number of tools are available at ETSI premises for use by the PTCC and visiting experts. The most commonly used tools are ITEX for TTCN specifications and SDT for SDL specifications. A number of TTCN analysis tools such as Nokia TC are also used. ETSI also has a number of Rational Rose 2000 modeller licences for handling UML specifications. Contact Verilog for details.