PSR Partition symmetry reduction for the Spin model checker, based on the paper: Barbosa, R., Fonseca, A. & Araujo, F. Reductions and abstractions for formal verification of distributed round-based algorithms. Software Quality Journal 29, 705–731 (2021). https://doi.org/10.1007/s11219-020-09539-6 Tutorial VALU3S Summer School tutorial (slides)