Now showing items 1-2 of 2

    • Automated program generation : bridging the gap between model and implementation 

      Bezuidenhout, 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 ...

    • A model checker for the LF system 

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