Install NuSMV