Automatic Symmetry Detection for Promela

Abstract