CAVA with Partial Order Reduction: Supporting Material

  • CAVA Theories including the CAVA model checker with partial order reduction