×

土星

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个字段中引用

5 计算机科学(68至XX)

按年份列出的引文