开发者 enusmv.sf.net

NuSMV 的扩展版本，支持 ETL 和 APSL 的符号模型检查