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