nuXmv FBK
Home Features Documentation License Download Contact & People Related Projects Tools using nuXmv The VMT Format Publications Useful Links Submit Bug Report FAQ

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