Contact Us

Support

For any question about NuSMV, please write to

For support, write instead to

For bug reporting please follow these instructions.

If you want to subscribe to one of NuSMV mailing lists, click here.

Please note that we will forward to any technical mail sent to , so to allow all our users to benefit from the answers.