開發者 enusmv.sf.net

NuSMV 的擴展版本，支援 ETL 和 APSL 的符號模型檢查