• A kernel to support computer-aided verification of embedded software 

      Grobler, Leon D (Stellenbosch : University of Stellenbosch, 2006-03)
      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.