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

by A Cimatti, E Clarke, E Giunchiglia, F Giunchiglia, M Pistore, M Roveri, R Sebastiani, A Tacchella
Venue:In CAV-02. 14th International Conference on ComputerAided Verification