A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction.

Dragan Bosnacki

Browse the full FORTE paper archive.