Now showing items 1-1 of 1

  • A model checker for the LF system 

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