NuSMV是一个符号模型检测器，由CMU的SMV发展而来的。希望对大家有所帮助。