nusmv(WIN)
nusmv是形式化验证的一个常用工具，主要可以进行LTL，CTL的建模。windows版。
下载地址
用户评论
旧版本的，一些性质不能验证，还需在linux下执行。
确实是旧版本，不过写论文用，还是够了
可以用，不过是2.4.3 现有有2.5版本的了
版本比较低啊