Verification tools currently taking NTS as input: * [[http://lara.epfl.ch/w/eldarica|Eldarica]] (EPFL) * [[http://www-verimag.imag.fr/FLATA.html|Flata]] (Verimag)