Author

SUNScholar Research Repository

Author

Sort by: Order: Results:

  • Automated program generation : bridging the gap between model and implementation 
    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 ...