Submit Bug Reports and Feature Requests

If you bump into a bug, we would appreciate you could report the issue preferably using the nuXmv Bug Tracking system, or by email.

The bug report shall contain:

1. A brief description of the identified problem
2. All needed information to enable us to reproduce it:
   • Input files
   • Sequence of commands
3. Any further useful information, e.g. expected behavior.

To submit a bug report, or a feature request send an e-mail to