NuSMV的使用解决办法

2012-03-13

NuSMV的使用高手来帮帮忙，谢谢~！我不知道如何使用NuSMV来对C程序的源代码进行检测，请问如何才能完成相应操

NuSMV的使用
高手来帮帮忙，谢谢~！
我不知道如何使用NuSMV来对C程序的源代码进行检测，请问如何才能完成相应操作？

[解决办法]
哎，没见过 NuSMV ...
[解决办法]