A kernel to support computer-aided verification of embedded software

Grobler, Leon D (2006-03)

Thesis (MSc (Mathematical Sciences)--University of Stellenbosch, 2006.


Formal methods, such as model checking, have the potential to improve the reliablility of software. Abstract models of systems are subjected to formal analysis, often showing subtle defects not discovered by traditional testing.

Please refer to this item in SUNScholar by using the following persistent URL: http://hdl.handle.net/10019.1/2479
This item appears in the following collections: