NuSMV: a new symbolic model verifier (1999)

by A Cimatti, E Clarke, F Giunchiglia, M Roveri
Venue:Proceeding of International Conference on Computer-Aided Verification (CAV'99). In Lecture Notes in Computer Science