日本日报

此软件的关键字
zbMATH中的参考文献(引用于, 1标准件 )
希拉·佩莱格;伊扎基,沙查尔;肖厄姆,沙龙;雅哈夫,伊兰:《谓词编程:交互式合成的正式模型》(2020) Gupta,Shubhani;Saxena,Aseem;Mahajan,Anmol;Bansal,Sorav:通过不变草图绘制和查询分解有效地使用SMT解算器进行程序等价性检查(2018年) Kiefer,Moritz;Klebanov,Vladimir;Ulbrich,Mattias:使用编译器IR进行关系程序推理(2018) Kojima,Kensuke;Imanishi,Akifumi;Igarashi,Atsushi:无种族GPU程序功能正确性的自动验证(2018) 阿普特,马利亚;帕多,丹尼尔;维拉纽娃,艾丽西亚:重写框架中的象征性抽象合同合成(2017) Smallbone,Nicholas;Johansson,Moa;Claessen,Koen;Algeed,Maximilian:忙碌程序员的快速规范(2017) Cassel,Sofia;Howar,Falk;Jonsson,Bengt;Steffen,Bernhard:扩展有限状态机的主动学习(2016) 林芳珍:离散线性序一阶逻辑程序的形式化(2016) Sharma,Rahul;Aiken,Alex:使用随机搜索从不变检查到不变推理(2016) Kirchner,Florent;Kosmatov,Nikolai;Prevosto,Virgile;Signoles,Julien;Yakobowski,Boris:Frama-C:软件分析视角(2015) ioport公司 Pedro Pinto,Rui Abreu,João M.P.Cardoso:使用范围值监控的C程序故障检测:初步结果(2015) 第十四章 安娜州卡瓦尔坎蒂;史蒂夫•金;科林•奥哈洛兰;吉姆•伍德考克:通过证据控制覆盖率的测试数据生成(2014) davidr.Cok:OpenJML:使用JML、OpenJDK和Eclipse的java7软件验证(2014) 第十四章 Ghezzi,Carlo;Mocci,Andrea;Sangiorgio,Mario:无限状态抽象的合成及其在软件验证中的应用(2014) ioport公司 Isberner,Malte;Howar,Falk;Steffen,Bernhard:《学习寄存器自动机:从语言到程序结构》(2014) Konur,Savas:迈向轻量化概率模型检验(2014) Llano,Maria Teresa;Ireland,Andrew;Pease,Alison:通过自动理论形成发现不变量(2014) ioport公司 张志海;卡普尔,迪帕克:关于不变检验(2013) Aarts,Fides;Heidarian,Faranak;Kuppens,Harco;Olsen,Petur;Vaandrager,Frits:通过反例引导的抽象提炼进行自动机学习(2012) Christakis,Maria;Müller,Peter;Wüstholz,Valentin:《明确假设下的协同验证和测试》(2012)