Verification tools currently taking NTS as input:

  * [[http://lara.epfl.ch/w/eldarica|Eldarica]] (EPFL)
  * [[http://www-verimag.imag.fr/FLATA.html|Flata]] (Verimag)