Now showing items 1-1 of 1
Automatically Proving the Termination of Functional Programs
(Georgia Institute of Technology, 2007-08-27)
Establishing the termination of programs is a fundamental problem in the field of software verification. For transformational programs, termination is used to extend partial correctness to total correctness. For reactive ...