Программы enusmv.sf.net

Extended NuSMV Бесплатный

Расширить версию NuSMV, которая поддерживает символическую проверку модели ETL и APSL