# Replication Package for Article "PatEC: Pattern-based Equivalence Checking", SPIN'21 This replication package supports the reexecution of the experiments in our SPIN 2021 publication "M.-C. Jakobs: PatEC: Pattern-based Equivalence Checking". PatEC is an approach for checking functional equivalence of a sequential program and its parallelization When checking functional equivalence, PatEC selects a specific checking method based on the parallelization pattern used during parallelization. PatEC supports C programs parallelized with OpenMP using the DoAll or Reduction pattern. This replication package contains a virtual machine (VM) with all components necessary to reexecute our experiments. VM username: patec VM password: patec The VM is tested with VirtualBox 6.1.22. ## License The VM runs Ubuntu 20.04, with g++, make, Java 11, the ROSE compiler framework (ROSE Core and ROSE tools), etc.. Ubuntu and its software components are licensed under various licenses. The VM furthermore contains the implementation of the , which includes PatEC and the competetive PEQcheck encoding as well as tools Z3 and CIVL, which are all licensed under different licenses. The VM documents their license.