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.
Identifer | oai:union.ndltd.org:netd.ac.za/oai:union.ndltd.org:sun/oai:scholar.sun.ac.za:10019.1/2479 |
Date | 03 1900 |
Creators | Grobler, Leon D |
Contributors | De Villiers, P. J. A., University of Stellenbosch. Faculty of Science. Dept. of Mathematical Sciences. |
Publisher | Stellenbosch : University of Stellenbosch |
Source Sets | South African National ETD Portal |
Detected Language | English |
Type | Thesis |
Format | 652789 bytes, application/pdf |
Rights | University of Stellenbosch |
Page generated in 0.0014 seconds