Software Year : 2007

NTI

Abstract

NTI (Non-Termination Inference) is a non-termination prover for term-rewriting systems and logic programs.
53 View
0 Download

Share

More