NuSMV: a new Symbolic Model Veri (1999)

by A Cimatti, E M Clarke, F Giunchiglia, M Roveri
Venue:Proceedings Eleventh Conference on Computer-Aided Veri (CAV'99), volume 1633 of Lecture Notes in Computer Science