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.