NuSMV的使用高手来帮帮忙，谢谢~！我不知道如何使用NuSMV来对C程序的源代码进行检测，请问如何才能完成相应操作？ [解决办法]哎，没见过 NuSMV ...[解决办法]
哎，没见过 NuSMV ...
