Unfolding-based Partial Order Reduction

Web presence for CONCUR 2015 submission containing references to poet's source code, binaries, log files and instructions to reproduce experiments.