ENuSMV


ENuSMV

Project overview

filename

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

Project information

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


This wiki is licensed under a Creative Commons 2.0 license
XWiki Enterprise 6.4.4 - Documentation
Powered by XWiki Hosted by Xsalto Free PageRank Checker Creative Commons 2.0 license Legal Notice