NUSMV: A New Symbolic Model Verifier.

Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri

Browse the full CAV paper archive.