NUSMV: A new symbolic model checker. (2000)

by A Cimatti, E M Clarke, F Giunchiglia, M Roveri
Venue:STTT,