# Partial Order Reduction with Compositional Verification

> 2014 master's thesis by Adrian Mark Shaw at University of Waikato

**Wikidata**: [Q112907021](https://www.wikidata.org/wiki/Q112907021)  
**Source**: https://4ort.xyz/entity/partial-order-reduction-with-compositional-verification