Now showing items 1-1 of 1

  • 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 ...