Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach.

E. Allen Emerson, A. Prasad Sistla

Browse the full CAV paper archive.