ENuSMV
Project overview
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 ENuSMV project home page
|
License
|
Status
|
FOSSology analysis
|
Antepedia report
|
Standards implemented
|
|
LGPL
|
Incubator |
not yet available
|
not yet available
|
none
|
Useful links
|
Community
|
Developers
|
Users
|
|
ENuSMV project home page
|
Forge
|
Project data sheet not yet available
|
|
Mailing lists not yet available
|
Repository not yet available
|
|
|
Project tracker not yet available
|
|
Professional
|
Support
|
Case studies
|
|
N/A
|
not yet available
|
|
|
|
|
|
|
