Author

SUNScholar Research Repository

Author

Sort by: Order: Results:

  • Reducing communication in distributed model checking 
    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 ...