VCC公司

此软件的关键字
zbMATH中的参考文献(参考文献 71篇文章 )
库克,拜伦; 卡泽姆,卡里姆; 丹尼尔·克罗宁; 塔什兰,塞尔达尔; 陶奇尼,迈克尔; Tuttle,Mark R.:来自AWS数据中心的模型检查引导代码(2021) 不,耶; Strichman,Ofer:使用最优算法组合实时解决计算困难问题(2021) 拉姆雷奇,莱恩; Sivilotti,Paolo A.G.:使用RESOLVE框架对Java组件的形式化验证(2021) 加泽拉,杰克J。; 巴拉诺夫斯基,马雷克; 何少波; Rakamarić,Zvonimir:利用编译器中间表示进行多语言和跨语言验证(2020) 尼尔,丹尼尔; 马杜苏丹,P。; 萨哈,Shambwaditya; 加格,普拉纳夫; Park,Daejun:基于学习的不完全验证引擎不变量合成方法(2020) 巴瑟,吉尔; 贝塔特,古斯塔沃; 坎波,胡安·迭戈; Luna,Carlos:恒定时间密码的系统级不干扰。 一: 模型(2019) 贝松,弗里德里克; 布莱兹,桑德琳; 威尔克,皮埃尔:支持指针算法和未初始化数据的内存模型的验证CompCert前端(2019) 孟吉,克劳迪奥; 斯波莱蒂尼,保拉; 玛莎契克; Ghezzi,Carlo:控制器迭代设计的验证驱动框架(2019) 戴勒,西尔文; 哈撒,大卫; 三月,克劳德; Moy,Yannick:为反例生成提供最弱的先决条件演算(2018) 丁斯代尔·杨,托马斯; 达罗查平托,佩德罗; Gardner,Philippa:A perspective on specifying and Verification concurrent Module(2018年),Philippa Gardner:A perspective on specifying and Verification concurrent modules(2018年) 克努佩尔,亚历山大; 图姆,托马斯; 帕迪拉,卡斯滕·伊曼纽尔; Schaefer,Ina:理解演绎验证的参数:key的实证调查(2018) 萨默斯,亚历山大J。; Müller,Peter:弱记忆程序的自动演绎验证(2018) Roşu,Grigore:匹配逻辑(2017) 菲利特,让·克里斯托夫; 冈德曼,莱昂; 安德烈·帕斯凯维奇:《幽灵密码》(2016) 曼德里金,麻省理工大学。; Khoroshilov,A.V.:C程序演绎验证的区域分析(2016) 雅各布斯,巴特; 福格尔斯,弗里德里克; Piessens,Frank:羽量级VeriFast(2015) 基什内尔,弗洛伦特; 科斯马托夫,尼古拉; 普雷沃斯托,处女座; 西诺尔斯,朱利安; Yakobowski,Boris:Frama-C:软件分析视角(2015) ioport公司 莱诺,K.鲁斯坦M。; Lucio,Paqui:Natural Mergesort稳定性和正确性的断言证明(2015) 内马蒂,哈米德; 瓜夏尔,罗伯托; Dam,Mads:ARMv7内存子系统的可信虚拟化(2015) ioport公司 奥赫恩,彼得W。; 彼得森,拉斯穆斯L。; 维拉德,朱尔斯; Hussain,Akbar:关于并发分离逻辑与并发Kleene代数的关系(2015)