NuSMV: a new symbolic model checker. Software Tools for Technology Transfer (1998)

by A Cimatti, E Clarke, F Giunchiglia, M Roveri
Venue:In Proceedings of the 18th International Conference on Computer Safety, Reliability and Security ( SAFECOMP'99