NuSMV2: an Open Source Tool for Symbolic Model (2002)

by A Cimatti, E Clarke, E Giunchiglia
Venue:Checking, Computer Aided Verification, LNCS