HTTP/2 200 server: nginx/1.24.0 (Ubuntu) date: Sat, 17 Jan 2026 16:17:39 GMT content-type: text/html content-length: 1648 last-modified: Mon, 16 Jun 2025 11:00:12 GMT etag: "f0d-637ae4cc8fdd3-gzip" accept-ranges: bytes vary: Accept-Encoding content-encoding: gzip strict-transport-security: max-age=31536000; includeSubDomains

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