Published April 14, 2024
| Version v2
Software
Open
SPORE: Combining Symmetry and Partial Order Reduction
-
1.
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 | Download all |
|---|---|---|
|
md5:f737b5d3f6fbf8f3f644cecad77426e2
|
277.3 kB | Preview Download |
|
md5:bae42a93576fadae55bf07fe1fc469d8
|
2.8 GB | Download |