Descargar desde http://nusmv.fbk.eu/NuSMV/download/getting-v2.html

Por petición, instalar la versión de NuSMV con ZCHAFF.
Opciones de instalación por defecto.
Cambiar la ruta de instalación "L:\NusMV"