The NuSMV model checker

WWW: http://nusmv.fbk.eu
