Partial Order Reduction Techniques Project Notes