NuSMV 2: An OpenSource Tool for Symbolic Model Checking (2002)

by A CIMATTI, E M CLARKE, E GIUNCHIGLIA, F GIUNCHIGLIA, M PISTORE, M ROVERI, R SEBASTIANI, A TACCHELLA
Venue:In Proc. CAV ’02. LNCS Series