• An LTL verification system based on automata theory 

      Inggs, Cornelia Petronella; Van Wyk, Cornelia (Stellenbosch : Stellenbosch University, 1999-12)
      ENGLISH ABSTRACT: A tool for the design and verification of reactive systems has been developed at the University of Stellenbosch. On-the-fly model checking is used to check correctness properties expressed in CTL ...