第2类 swMATH ID: 21028 软件作者： 塞萨尔·蒂内利，阿德里安冠军 描述： 第2类是一种开源、多引擎、基于SMT的自动模型检查器，用于Lustre程序的安全属性。它将一个带有属性注释的Lustre文件作为输入，以证明不变量，并为每个属性输出一个确认或反例，一个伪造属性的序列输入。Kind 2是Kind模型检查器的从头开始的重新实现。 主页： http://kind2-mc.github.io/kind2/ 相关软件： 卢斯特;JKind公司;z3（零3）;nuXmv（数字）;爱格;尤瑟斯;CoSA公司;波诺;github;自旋蛋白;数学SAT5;NuSMV公司;基础知识;CTIGAR公司;CVC4型;SMT-LIB公司;转向器;GNU并联;英国皇家海军陆战队;帆 引用于： 7文件 全部的 前5名22位作者引用 1 本努尔，伊米德·埃丁 1 阿明·比尔 1 西蒙·布利兹 1 冠军，阿德里安 1 千叶，富古屋 1 亚历山德罗·西马蒂 1 邓玉欣 1 阿尔贝托·格里乔 1 马蒂亚斯·古德曼 1 凯乔·赫尔扬科 1 侯泽晨 1 直纪小林 1 艾瑞克·马德琳 1 塞尔吉奥·莫弗 1 桑吉瓦·普拉萨德 1 秦旭东 1 克劳斯·里德尔 1 佐藤龙之助 1 斯特凡诺·托内塔 1 Yerragundla，R.马杜卡尔 1 于，艾米丽 1 张敏 4篇连载文章中引用 1 信息学学报 1 自动推理杂志 1 系统设计中的形式化方法 1 程序设计中的逻辑和代数方法杂志 在1个字段中引用 7 计算机科学（68至XX） 按年份列出的引文