Author

SUNScholar Research Repository

Author

Sort by: Order: Results:

  • Fourie, Jean Francois (Stellenbosch : University of Stellenbosch, 2009-12)
    ENGLISH ABSTRACT: Model checkers are programs that automatically verify, without human assistance, that certain user-specified properties hold in concurrent software systems. Since these programs often have expensive ...