Exploiting Symmetry In Temporal Logic Model Checking.

Edmund M. Clarke, Thomas Filkorn, Somesh Jha

Browse the full CAV paper archive.