Now showing items 1-1 of 1

    • A comparison of two different model checking techniques 

      Bull, J. J. D (Stellenbosch : Stellenbosch University, 2003-12)
      ENGLISH ABSTRACT: Model checking is a computer-aided verification technique that is used to verify properties about the formal description of a system automatically. This technique has been applied successfully to detect ...