Published April 14, 2024 | Version v2
Software Open

SPORE: Combining Symmetry and Partial Order Reduction

Authors/Creators

  • 1. ROR icon Max Planck Institute for Software Systems

Description

This is the artifact accompanying our paper "SPORE: Combining Symmetry and Partial Order Reduction", conditionally accepted for publication at PLDI'24.

Files

instructions.pdf

Files (2.8 GB)

Name Size
md5:f737b5d3f6fbf8f3f644cecad77426e2
277.3 kB Preview Download
md5:bae42a93576fadae55bf07fe1fc469d8
2.8 GB Download