NuSMV 2: An OpenSource Tool for Symbolic Model Checking.

Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella

Browse the full CAV paper archive.