{The NuSMV model checker}

WWW: http://nusmv.fbk.eu
