NUSMV: A new symbolic model checker (0)

by Alessandro Cimatti, Edmund M Clarke, Fausto Giunchiglia, Marco Roveri
Venue:International Journal on Software Tools for Technology Transfer