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.
Status
Archive
License(s)
GNU Lesser General Public License v2.1 only
Website
VCS repository(ies)
Project leader(s)
Kayliu <kay_liu@ yahoo.cn>