HTTP/2 200 server: nginx/1.24.0 (Ubuntu) date: Fri, 16 Jan 2026 13:10:36 GMT content-type: text/html content-length: 1467 last-modified: Mon, 16 Jun 2025 11:00:12 GMT etag: "d73-637ae4cc901bb-gzip" accept-ranges: bytes vary: Accept-Encoding content-encoding: gzip strict-transport-security: max-age=31536000; includeSubDomains

Frequently Asked Questions

FAQ Summary

FAQ 0001: Can I use nuXmv in a commercial setting?

FAQ 0002: How can I report a bug about nuXmv?

FAQ 0003: How can I subscribe/unsubscribe to the nuXmv mailing list?

FAQ 0004: Can I save a file in .smt format?

Most of NuSMV FAQs apply to nuXmv as well.