http://termination-portal.org/mediawiki/index.php?action=history&feed=atom&title=Tools%3ANTITools:NTI - Revision history2026-04-06T08:24:08ZRevision history for this page on the wikiMediaWiki 1.34.2http://termination-portal.org/mediawiki/index.php?title=Tools:NTI&diff=1765&oldid=prevEpayet: Created page with " <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool pa..."2017-08-20T12:51:06Z<p>Created page with " <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool pa..."</p>
<p><b>New page</b></p><div><br />
<!--<br />
Please fill in the data so that your tool can be added to some default<br />
categories and a simple tool page can be created. You may extend<br />
that tool page yourself after the following code block.<br />
<br />
Please use the "publication" field to add a reference to a publication<br />
introducing your tool. The "References" page can be used to enter a bibtex<br />
record for this publication.<br />
Example: |publication=[[Bibtex:Giesl04|Automated Termination Proofs with AProVE]]<br />
--><br />
<br />
{{Tool<br />
|shortname=NTI<br />
|longname=Non-Termination Inference<br />
|homepage=http://lim.univ-reunion.fr/staff/epayet/Research/NTI/NTI.html<br />
|country=France<br />
|university=University of Reunion<br />
|developers=Etienne Payet<br />
|publication=<br />
}}<br />
<br />
<!-- If you want to add some additional information to the tool page, you can do so after this comment. --></div>Epayet