Now showing items 1-4 of 4
Investigating the non-termination of affine loops
(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 ...
Automated program generation : bridging the gap between model and implementation
(Stellenbosch : Stellenbosch University, 2012-02)
ENGLISH ABSTRACT: The general goal of this thesis is the investigation of a technique that allows model checking to be directly integrated into the software development process, preserving the benefits of model checking ...
A model checker for the LF system
(Stellenbosch : Stellenbosch University, 2007-03)
ENGLISH ABSTRACT: Computer aided veri cation techniques, such as model checking, can be used to improve the reliability of software. Model checking is an algorithmic approach to illustrate the correctness of temporal ...
A comparison of two different model checking techniques
(Stellenbosch : Stellenbosch University, 2003-12)
ENGLISH ABSTRACT: Model checking is a computer-aided verification technique that is used to verify properties about the formal description of a system automatically. This technique has been applied successfully to detect ...