nusmv package
nusmv i386 package