• 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 ...