nusmv(WIN) 下载 ting5998469 18 0 EXE 2020-06-10 14:06:41 nusmv是形式化验证的一个常用工具,主要可以进行LTL,CTL的建模。windows版。 立即下载 微信扫一扫:分享 微信里点“发现”,扫一下 二维码便可将本文分享至朋友圈。