Browsing by Issue Date

Now showing items 1-1 of 1

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