Symmetry and Reduced Symmetry in Model Checking.

A. Prasad Sistla, Patrice Godefroid

Browse the full CAV paper archive.