- 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