Investigating the non-termination of affine loops

Investigating the non-termination of affine loops

Thesis (MSc)--Stellenbosch University, 2013. === 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 of a termination prover to...

Full description

Bibliographic Details
Main Author: Durant, Kevin
Other Authors: Visser, W.
Format: Others
Language:en_ZA
Published: Stellenbosch : Stellenbosch University 2013
Subjects:
Termination
Affine loops
Java
Computer software > Verification
Dissertations > Mathematical sciences
Theses > Mathematical sciences
Dissertations > Computer science
Theses > Computer science
Online Access:http://hdl.handle.net/10019.1/80052

Internet

http://hdl.handle.net/10019.1/80052

Similar Items