Tools:PTNT
From Termination-Portal.org
Jump to navigationJump to search
pTNT (proving Typed Non-Termination)
- developed at Leuven, belgium
- home page: http://www.cs.kuleuven.be/~dean/pTNT.html
- developers: Dean Voets and Danny De Schreye
- publication: Non-termination Analysis of Logic Programs using Types
