SMC: A Symmetry Based Model Checker for Verification of Liveness Properties.

A. Prasad Sistla, L. Miliades, Viktor Gyuris

Browse the full CAV paper archive.