土星 swMATH ID: 1297 软件作者: 谢宜晨;亚历克斯·艾肯 描述: Saturn:基于SAT的漏洞检测工具Saturn是一个基于布尔可满足性(SAT)的静态错误检测框架。Saturn以C语言编写的软件为目标,旨在支持广泛的属性检查器 主页: http://www.info2.uqam.ca/~villemaire_r/9340/travail/A05/Nouveaux/yxaaCAV05.pdf 相关软件: 污水处理厂;投掷;自旋蛋白;可爱的;爆炸;超小卫星;图规划;CNF发电机;Scikit公司;DD验证;自由RTOS;CBMC公司;Yices公司;瓦尔格林德;智能_;墨西哥煎玉米卷;南美林猫;Calysto公司;AGEDIS公司;jCUTE公司 引用于: 5文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 Saturn:基于SAT的漏洞检测工具。 Zbl 1081.68639号谢、伊晨;亚历克斯·艾肯 2005 全部的 前5名18位作者引用 1 艾肯,亚历克斯 1 陈凯 1 乔纳森·钟 1 冯登国 1 诺亚·弗莱明 1 维杰·加内什 1 苏米特·古尔瓦尼 1 安东尼娜·科洛科洛娃 1 维克托·五·库利亚明。 1 李春晓 1 艾丽斯·穆伊 1 穆克吉、索姆 1 索拉布斯里瓦斯塔瓦 1 苏,普瑞 1 拉马拉瑟纳姆·文卡泰桑 1 马克·维尼亚尔斯 1 谢、伊晨 1 张应军 2篇连载文章中引用 1 编程和计算机软件 1 科学中国。信息科学 在1个字段中引用 5 计算机科学(68至XX) 按年份列出的引文