Difference between revisions of "Tools:NTI"
From Termination-Portal.org
Jump to navigationJump to search (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...") |
(No difference)
|
Latest revision as of 12:51, 20 August 2017
NTI (Non-Termination Inference)
- developed at University of Reunion, France
- home page: http://lim.univ-reunion.fr/staff/epayet/Research/NTI/NTI.html
- developers: Etienne Payet
- publication:
