It seems that you are looking for the supplemental material of the paper “Formal Verification of an Executable LTL Model Checker with Partial Order Reduction”. We moved it to Archive of Formal Proofs for long-term archival and continued maintenance. The material is split into the two entries “Partial Order Reduction” and “CAVA LTL Modelchecker”.