ENuSMV

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

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 lead: Kayliu 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

Tags:
Created by Alexandre Lefebvre on 2011/01/10 15:26
Powered by XWiki Hosted by Xsalto Free PageRank Checker Creative Commons 2.0 license Legal Notice