A kernel to support computer-aided verification of embedded software
Date
2006-03
Authors
Grobler, Leon D
Journal Title
Journal ISSN
Volume Title
Publisher
Stellenbosch : University of Stellenbosch
Abstract
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.
Description
Thesis (MSc (Mathematical Sciences)--University of Stellenbosch, 2006.
Keywords
Theses -- Mathematics, Dissertations -- Mathematics, Theses -- Computer science, Dissertations -- Computer science