Ta上传的资源 (0)

nusmv是形式化验证的一个常用工具，主要可以进行LTL，CTL的建模。windows版。