TermiLog is a system implemented in SICStus Prolog for automatically checking termination of queries to logic programs. Given a program and query, the system either answers that the query terminates or that it cannot prove termination. The system can handle automatically 82% of the 120 programs we tested it on.
|Title of host publication||Proceedings of the 9th International Conference on Computer Aided Verification (CAV '97), 22-25 June 1997, Haifa, Israel|
|Place of Publication||Berlin|
|Publication status||Published - 1997|
|Name||Lecture Notes in Computer Science|