Author

SUNScholar Research Repository

Author

Sort by: Order: Results:

  • 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 ...