常见问题总结

常见问题0001:我可以在商业环境中使用nuXmv吗?

常见问题0002:如何报告有关numv的错误?

常见问题0003:如何订阅/取消订阅nuXmv邮件列表?

常见问题0004:我可以用.smt格式保存文件吗?

大部分NuSMV常见问题同样适用于numv。