NTI - Université de La Réunion
Software Year : 2007

NTI

Abstract

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

Share

More