Revisiting Stateful Partial-Order Reduction (Artifact) / TACAS'26

Revisiting Stateful Partial-Order Reduction (Artifact) This record includes a Docker image containing models, scripts, and binaries needed to reproduce the experiments described in our paper, Revisiting Stateful Partial-Order Reduction, published in proceedings of TACAS 2026. The artifact comes with a README file and a description of models used in our experiments. Both files are also distributed within the image. The image is provided as a TAR file. To use it, load the archive into Docker with the following command (assuming the file is saved as pifs-tacas-2026-amd64.tar): $ docker load -i pifs-tacas-2026-amd64.tar You can confirm that the image was loaded successfully by running: $ docker images pifs-tacas-2026 To start a container from this image, use Docker's run command: $ docker run -ti pifs-tacas-2026 The home directory container includes a README file, which provides detailed information about the artifact’s contents. In the Implementation and experimental results section of our paper, we compare our tool against Spin, nuXmv and GenMC. Copies of licenses for these tools are available in the licenses subdirectory.