HTTP_HOST =>forge.ow2.orgsys_default_domain =>forge.ow2.org
testing log OW2 Forge: Project Info- An extended symbolic model checking tool

Advanced - Powered by Google


   
Log In
New Account
  
 
Home
My Page
Project Tree
Project Openings
An extended symbolic model checking tool
          
 
 
Summary
Forums
Tracker
Lists
Tasks
Docs
Surveys
News
Files
SVN
                    
 

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.


Registered: 2009-09-17 10:30
Developer Info
 Project Admins:
huiliu

Developers:
1 [View Members]

 

Latest File Releases
Package Version Date Notes / Monitor Download
enusmvenusmv_1.1-09-03-03 June 11, 2010 Release Notes - Monitor this package Download

Public Areas
Home Page Project Home Page
TrackerTracker

 - 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 ( 1 open / 1 total )
Feature Request Tracking System


Forums Public Forums ( 2 messages in 2 forum )
Docs DocManager: Project Documentation
Lists Mailing Lists ( 0 public mailing lists)
Tasks Task Manager
There are no public subprojects available
Surveys Surveys ( 0 surveys )

 
Latest News
No News Items Found

Copyright © 1999-2008, OW2 Consortium | contact | webmaster.