• Efficiency issues in the design of a model checker 

      Geldenhuys, Jacobus (Stellenbosch : Stellenbosch University, 1999-11)
      ENGLISH SUMMARY: A model checker is a program that verifies, without human assistance, that the formal description of a system has specified, desirable properties. The development of model checking algorithms is an active ...