NuSMV: A new symbolic model checker (0)

by A Cimatti, E Clarke, F Giunchiglia, M Roveri
Venue:International Journal on Software Tools for Technology Transfer (STTT