Now showing items 1-1 of 1

  • Partial Order Reduction with Compositional Verification

    Shaw, Adrian Mark (University of Waikato, 2014)
    This thesis expands the usage of partial order reduction methods in reducing the state space of large models in model checking. The work done can be divided into two parts. In the first part we introduce two new ample ...