ENuSMV

An extension of NuSMV, helping users to verify omega regular temporal properties by customizing temporal connectives.

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.

Web sitehttp://www.trustie.net/projects/project/show/ENuSMV
Project leader(s)

Kayliu <kay_liu@ yahoo.cn>

FunctionalityMiddleware framework / Component / Tool
StatusArchive
License(s)GNU Lesser General Public License v2.1 only
VCS repository(ies)