NuSMV is Open Source and hence is developed in collaboration with different research centers.
The NuSMV partnersThe institutions currently involved in the development of NuSMV are:   ![]() ![]() ![]() ![]()
|
Name | Affiliation | Contact |
---|---|---|
Alessandro Cimatti | ES Unit at FBK-irst | cimatti AT fbk DOT eu |
Marco Roveri | ES Unit at FBK-irst | roveri AT fbk DOT eu |
Roberto Cavada | ES Unit at FBK-irst | cavada AT fbk DOT eu |
Roberto Sebastiani | University of Trento | rseba AT disi DOT unitn DOT it |
Stefano Tonetta | ES Unit at FBK-irst | tonettas AT fbk DOT eu |
Alessandro Mariotti | ES Unit at FBK-irst | mariotti AT fbk DOT eu |
Andrea Micheli | ES Unit at FBK-irst | amicheli AT fbk DOT eu |
Sergio Mover | ES Unit at FBK-irst | mover AT fbk DOT eu |
Michele Dorigatti | ES Unit at FBK-irst | mdorigatti AT fbk DOT eu |