Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking.

Sharon Barner, Orna Grumberg

Browse the full CAV paper archive.