NuSMV Mailing lists


The NuSMV mailing lists are listed below:
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 subscribe.
NuSMV Announce <>
This e-mail address is used by the NuSMV staff to send announcements about the NuSMV system.
Click here to subscribe.
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.

NuSMV Home Page
NuSMV <>