Now showing items 1-3 of 3
A kernel to support computer-aided verification of embedded software
(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.
Formal specification and verification of safety interlock systems: A comparative case study
(Stellenbosch : University of Stellenbosch, 2007-12)
The ever-increasing reliance of society on computer systems has led to a need for highly reliable systems. There are a number of areas where computer systems perform critical functions and the development of such systems ...
Support vector machines, generalization bounds, and transduction
(Stellenbosch : University of Stellenbosch, 2003-12)
Please refer to full text for abstract.