3.7. NuSMV LICENSE

NuSMV version 2 (NuSMV 2 in short) is licensed under the GNU Lesser General Public License (LGPL in short). File LGLP-2.1 contains a copy of the License.

The aim of the NuSMV OpenSource project is to allow the whole model checking community to participate to the development of NuSMV. To this purpose, we have chosen a license that:

is "copyleft", that is, it requires that anyone who improves the system has to make the improvements freely available;
permits to use the system in research and commercial applications, without restrictions.

In brief, the LGPL license allows anyone to freely download, copy, use, modify, and redistribute NuSMV 2, proviso that any modification and/or extension to the library is made publicly available under the terms of LGPL.

The license also allows the usage of the NuSMV 2 as part of a larger software system without being obliged to distributing the whole software under LGPL. Also in this case, the modification to NuSMV 2 (not to the larger software) should be made available under LGPL.

The precise terms and conditions for copying, distribution and modification can be found in file LGPL-2.1. You can contact <nusmv-users@irst.itc.it> if you have any doubt or comment on the license.