An extension of NuSMV, helping users to verify omega regular temporal properties by customizing temporal connectives. This project is hosted on the Trustie forge, operated by the OW2 China Local Chapter. OW2 project maturity: Incubator OW2 project Registered: 2009-09-17 10:30

Developer Info Project Admins: huiliu Developers: 1 [View Members]

Latest File Releases Package Version Date Notes / Monitor Download enusmv enusmv_1.1-09-03-03 June 11, 2010 - Download [View All Project Files]

Public Areas  Project Home Page Tracker  - Bugs ( 0 open / 0 total ) Bug Tracking System  - Support Requests ( 0 open / 0 total ) Tech Support Tracking System  - Patches ( 0 open / 0 total ) Patch Tracking System  - Feature Requests ( 0 open / 0 total ) Feature Request Tracking System  Public Forums ( 2 messages in 2 forum )  DocManager: Project Documentation  Mailing Lists ( 0 public mailing lists)  Task Manager There are no public subprojects available Surveys ( 0 surveys )

Latest News No News Items Found [News archive] [Submit News]