Gerber, Erick D. B.
(Stellenbosch : Stellenbosch University, 2007-03)
ENGLISH ABSTRACT: Computer aided veri cation techniques, such as model checking, can be used to improve the
reliability of software. Model checking is an algorithmic approach to illustrate the correctness
of temporal ...