缩写	全称	中文释义
NUSMV	New Symbolic Model Verifier	新符号模型验证器