Subject

SUNScholar Research Repository

Subject

Sort by: Order: Results:

  • Bezuidenhout, Johannes A. (Johannes Abraham) (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 ...
  • Gerber, Erick D. B. (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 ...