CBMC公司

此软件的关键字
zbMATH中的参考文献(参考文献 86篇 )
巴塔查里亚,阿纳布; 古普塔,阿什图什; 库普萨米,拉克什曼; 玛尼,索米亚; 舒克拉,安基特; 斯里瓦斯,曼德亚姆; Thattai,Mukund:预测真核细胞囊泡交通系统新特征的形式方法(2021) 库克,拜伦; 卡泽姆,卡里姆; 丹尼尔·克罗宁; 塔什兰,塞尔达尔; 陶奇尼,迈克尔; Tuttle,Mark R.:来自AWS数据中心的模型检查引导代码(2021) 哈杜,马尔顿; 霍佐娃,佩特拉; 科瓦茨,劳拉; 肖斯沃尔,约翰内斯; 沃龙科夫,安德烈:自动推理的归纳基准(2021) 赫尔德曼,蒂姆; 施耐德,托马斯; 特卡琴科,奥列克桑德; 韦内特,克里斯蒂安; Yalame,Hossein:基于LLVM的实用安全计算电路编译(2021) Manthey,Norbert:The\textscMergeSatsolver(2021年) 庞齐奥,巴勃罗; 戈迪奥,阿里尔; 罗斯纳,尼古拉斯; 阿罗约,马塞洛; 阿吉尔,拿撒勒诺; Frias,Marcelo F.:使用紧字段边界对堆操作程序进行有效的有界模型检查(2021) 亚伯特,亚历山德罗; 贝萨,尤里; 科尔代罗,卢卡斯; 大卫,克里斯蒂娜; 凯塞利,帕斯卡; 丹尼尔·克罗宁; Polgreen,Elizabeth:连续装置可证明安全数字控制器的自动形式综合(2020) 塞门诺夫,亚历山大; 奥特普什尼科夫,伊利亚; 格里巴诺娃,伊琳娜; 扎金,奥列格; Kochemazov,Stepan:将离散函数的算法描述转换为SAT及其在密码分析问题中的应用(2020) 特莱兹,加迪; Brotherston,James:用循环证明自动验证指针程序的时间属性(2020) 王蒙; 田聪; 张楠; 段振华; 姚晨光:将Xd-C程序转换为MSVL程序(2020) 艾哈迈德·布瓦贾尼; 埃尼亚,康斯坦丁; Lahiri,Shuvendu K.:演化并发程序的抽象语义差异(2019) 王蒙; 田聪; 张楠; 段振华; 杜宏伟:验证安全关键系统的调度协议(2019) 拜尔,德克; 丹格尔,马提亚斯; Wendler,Philipp:基于SMT的软件验证的统一观点(2018) 拜尔,德克; 古尔瓦尼,苏米特; Schmidt,David A.:结合模型检查和数据流分析(2018) 贝尔,阿明; Daniel Kröning:基于SAT的模型检查(2018) 曹操、秦翔; 贝林格,伦纳德; 格鲁特,塞缪尔; 多德,约西亚; Appel,Andrew W.:VST Floyd:验证C程序正确性的分离逻辑工具(2018) 查维斯,列侬; 贝萨,尤里; 科尔代罗,卢卡斯; Daniel Kroneing:DSValidator:数字系统的自动反例再现性工具(2018) 鸭子,格雷戈里J。; 贾法尔,约森; Yap,Roland H.C.:基于图的数据结构的形状中性分析(2018) 古斯穆勒,马里恩; 科罗娜,加布里埃尔; Quinson,Martin:遗留分布式应用正式动态验证的系统级状态平等检测(2018) Kurshan,Robert P.:模型检验向工业实践的转移(2018)