规格#

此软件的关键字
zbMATH中的参考文献(参考文献 123篇 )
莱坦,托马斯; Régis Gianas,雅恩; 奇夫利埃,皮埃尔; Hiet,Guillaume:使用效果和效果处理程序的模块化验证(2021) 拉姆雷奇,莱恩; Sivilotti,Paolo A.G.:使用RESOLVE框架对Java组件的形式化验证(2021) 班萨尔,克希蒂吉; 科斯金,埃里克; 特里普,欧默:合成精确和有用的交换性条件(2020) 鲍伊拉盖,昆廷; 博博特,弗朗索瓦; 希吉瑞努,米哈埃拉; Yakobowski,Boris:利用内存模型中的指针分析进行演绎验证(2019) 包、玉岩; 莱文斯,加里·T。; Ernst,Gidon:统一分离逻辑和区域逻辑以实现互操作性(2018) Broy,Manfred:基于假设/承诺的系统接口规范和架构合同的理论和方法(2018) 克努佩尔,亚历山大; 图姆,托马斯; 帕迪拉,卡斯滕·伊曼纽尔; Schaefer,Ina:理解演绎验证的参数:key的实证调查(2018) 剑,卡梅隆; 萨布里,Amr; 托宾·霍克施塔特(Tobin Hochstadt),山姆:作为沟通模式的合同监控策略的扩展账户(2018) 阿伦特,沃尔夫冈; 奇门托,耶斯·莫里西奥; 佩斯,戈登J。; Gerardo Schneider:结合静态和运行时验证验证面向数据和控件的属性:理论与工具(2017) 阿明,娜达; Rompf,Tiark:LMS verify:已验证系统编程的无遗憾抽象(2017) 卢卡努、多雷尔; 拉苏,弗拉德; Arusoaie,Andrei:《符号执行的一般框架:一种共同归纳法》(2017) 贝洛鲁伦索,克劳迪奥; 圣弗朗德,玛丽亚; Sousa Pinto,Jorge:《单一任务计划验证的形式化:适应完成方法》(2016) 加兰,弗朗西斯科J。; Cañete Valdeón,JoséM:检验一类无限量化定义的正逻辑程序的综合(2016) 米勒,彼得; 施韦霍夫,麦芽; Summers,Alexander J.:Viper:基于权限推理的验证基础设施(2016) 威克,约纳坦; Boström,Pontus:MATLAB风格矩阵程序的基于合同的验证(2016) 穆罕默德·达尔万迪; 巴特勒,迈克尔; Rezazadeh,Abdolbaghi:从Event-B模型到Dafny代码合同(2015) ioport公司 达斯塔尼,迈赫迪(编辑); Sirjani,Marjan(编辑):软件工程基础。 第六届国际会议,FSEN 2015,伊朗德黑兰,2015年4月22日至24日。 修订论文选(2015) 莱诺,K.鲁斯坦M。; Lucio,Paqui:Natural Mergesort稳定性和正确性的断言证明(2015) Tschannen,J。; 弗利亚,加利福尼亚州; 诺迪奥,M。; Polikarpova,N.:Autoprotop:面向对象程序的自动主动功能验证(2015) 阿尔十四 阿夫申阿米吉语; 布洛姆,斯特凡; 达拉比,赛义德; 豪氏威马,玛丽克; 莫斯托夫斯基,沃伊切赫; Zaharieva Stojanovski,Marina:与VerCors的并行系统验证(2014)