NuSMV

开源软件都是些什么东西啊，这个我实在是装不上了，编译半天错误超多，个别附件还打不开网页下不来，烦死了...........