Author
Now showing items 1-1 of 1
-
Investigating the non-termination of affine loops
Durant, Kevin (Stellenbosch : Stellenbosch University, 2013-03)ENGLISH ABSTRACT: The search for non-terminating paths within a program is a crucial part of software verification, as the detection of anfinite path is often the only manner of falsifying program termination - the failure ...