Mailing Lists

We maintain some mailing lists of people interested and using NuSMV. If you want to subscribe to one of the NuSMV mailing lists and be informed by e-mail on latest news about NuSMV, please:

• follow the provided links, or
• send an e-mail to with your name, affiliation, e-mail address and the mailing lists you want to subscribe to.

Below are the available mailing lists:

NuSMV Users <>

This is the e-mail address of the NuSMV users. You should send e-mail to this address any time you have general questions about the NuSMV system. This e-mail address should be used also to report NuSMV bugs.
Click here to request subscription

NuSMV Announce <>

This e-mail address is used by the NuSMV staff to send announcements about the NuSMV system.
Click here to request subscription

NuSMV Staff <>

This is the e-mail address of the NuSMV staff. You should send e-mail to this address any time you need specific informations about the NuSMV availability and more in general, any kind of administrative information.