Subject

SUNScholar Research Repository

Subject

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