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
|
Standards implemented
|
|
LGPL
|
Incubator |
none
|
|
Community
|
Developers
|
Users
|
|
ENuSMV project home page
|
ENuSMV Forge
|
Project data sheet not yet available
|
|
Mailing lists not yet available
|
Repository not yet available
|
|
|
|
Project tracker not yet available
|
|
SQuAT: Software Quality Assurance and Trustworthiness
See
here for a description of OW2 SQuAT programme.
|
FOSSology analysis
|
Antepedia report
|
Sonar
|
OMM report (Open Maturity Model)
|
|
not yet available
|
not yet available
|
not yet available
|
not yet available
|
Professional
|
Support
|
Case studies
|
|
N/A
|
not yet available
|
|
|
|
|
|
|
Follow us on Tumblr
Follow us on Twitter
Network @ LinkedIn
