Project Members
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.
- Carnegie Mellon University (Pittsburgh, USA), as the co-developer of NuSMV.
- The University of Genova (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.
The NuSMV development team
The NuSMV development team The people that are currently working to the development of NuSMV are:
| Name | Affiliation | Contact |
|---|---|---|
| Alessandro Cimatti | ES Unit at FBK-irst | |
| Marco Roveri | ES Unit at FBK-irst | |
| Roberto Cavada | ES Unit at FBK-irst | |
| Roberto Sebastiani | University of Trento | |
| Stefano Tonetta | ES Unit at FBK-irst | |
| Alessandro Mariotti | ES Unit at FBK-irst | |
| Andrea Micheli | ES Unit at FBK-irst | |
| Sergio Mover | ES Unit at FBK-irst | |
| Michele Dorigatti | ES Unit at FBK-irst |
NuSMV <>