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

by A Cimatti, E Clarke, E Giunchiglia, F Giunchiglia, M Pistore, M Roveri, R Sebastiani, A Tacchella
Venue:CAV,