프로그램별 enusmv.sf.net

ETL 및 APSL의 상징적 모델 검사를 지원하는 NuSMV의 확장 버전