NuSMV is Open Source and hence is developed in collaboration with different research centers.
The NuSMV partners
The institutions currently involved in the development of NuSMV are:
- FBK-irst (Trento, Italy), as the co-developer of NuSMV and main
developer of NuSMV2.
- CMU (Pittsburgh, PA), as the co-developer of NuSMV.
- The University of Genova (Italy), as the developer of
state-of-the-art SAT technology.
- The University of Trento (Italy), as the co-developer of the
bounded model checker.
Statements of interest have also come from several other commercial
and academic institutions.
-
Ken McMillan
(Cadence) has expressed an interest in contributing to the project
with the improvements that have been carried out on Cadence SMV along
the years.
-
We are cooperating with Interface
& Control Systems (ICS) to integrate the model checking
capabilities provided by NuSMV within the SCL Visual Modeler developed
by ICS.
|
>