Verification tools currently taking NTS as input:
Eldarica
(EPFL)
Flata
(Verimag)