Browsing by Issue Date
Now showing items 1-1 of 1
-
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 ...