LNT; originally stood for "Lotos NT"

Links

• https://cadp.inria.fr/ftp/publications/cadp/Champelovier-Clerc-Garavel-et-al-10.pdf
• ftp://ftp.inrialpes.fr/pub/vasy/traian/manual.pdf

Related papers

• https://doi.org/10.1007/3-540-45937-5_3 (CC'02)
• https://doi.org/10.1007/978-3-642-16265-7_17 (iFM'10)
• https://doi.org/10.1007/978-3-642-21437-0_10 (FM'11)
• https://doi.org/10.1007/978-3-319-19584-1_10 (Ada-EU'15)
• https://doi.org/10.1007/978-3-319-68270-9_1 (Brinksma'17)
• https://doi.org/10.4204/EPTCS.268.1 (MARS'18)
• http://ceur-ws.org/Vol-2289/paper2.pdf (DX'18)
• https://doi.org/10.4204/EPTCS.316.2 (MARS'20)

Related tools

ProVerB specific

• Markdown description: view/edit
• Contained in the ProVerB22 dataset (paper + artefact)