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:

(click "Login Anonymously" if login screen appears.)