提示 swMATH ID: 21030 软件作者： Sorensson N，Claessen K。 描述： 提示是基于SAT的模型检查器。该名称代表“时间感应校准器”，因为它主要使用感应模型检查技术。电路和属性通过AIGER文件格式进行解析，提示支持所有当前的AIGER功能（安全属性、活性属性、约束、多属性等）。 主页： https://github.com/niklasso/tip 源代码： https://github.com/niklasso/tip 相关软件： CTIGAR公司；nuXmv（数字）；github；JKind公司；第2类；P绑定；InvGen公司；数学SAT5；PVS公司 引用于： 1文件 由4位作者引用 1 亚历山德罗·西马蒂 1 阿尔贝托·格里乔 1 塞尔吉奥·莫弗 1 斯特凡诺·托内塔 连载1篇 1 系统设计中的形式化方法 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文