快

此软件的关键字
zbMATH参考文献(35篇文章引用)
Finkel,Alain;Praveen,M.:扁平FIFO系统的验证(2020年) Boutonet,Rémy;Halbwachs,Nicolas:通过超越递减序列的抽象解释改进程序分析的结果(2018) Majumdar,Rupak;Raskin,Jean François:非布尔域中的符号模型检查(2018) Konnov,Igor;Lazić,Marijana;Veith,Helmut;Widder,Josef:(\textPara^2):阈值保护分布式算法中可及性的参数化路径缩减、加速和SMT(2017) Konnov,Igor;Veith,Helmut;Widder,Josef:基于阈值的分布式算法的有界模型检查的完备性:可达性(2017) Pierre Chambart;Finkel,Alain;Schmitz,Sylvain:跟踪边界WST的正向分析和模型检查(2016) Leroux,Jérôme;rümmer,Philipp;Subotić,Pavle:Guidating Craig interpolation with domain specific Abstrations(2016年) Bouchy,Florent;Finkel,Alain;San Pietro,Pierluigi:重新审视密集选择柜台机(2014年) Bouissou,Olivier;Seladji,Yassamin;Chapoutot,Alexandre:数值程序分析中抽象不动点计算的加速(2012) Schrammel,Peter;Jeannet,Bertrand:将抽象加速应用于反应式程序的(co-)可达性分析(2012) 皮尔·博阿杰德·博阿杰尔(Pierre Bouajna)和《摩洛·博伊尔·拉杰尔(Peter Boujna)的程序》(Pierre Bouajna,If Automathed;2011年版;与《摩洛·博伊尔·拉贾尔》(Peter Boujna)合著的《反程序》(counter Programs);与《摩洛·博伊尔 Pierre Chambart;Finkel,Alain;Schmitz,Sylvain:跟踪边界WST的正向分析和模型检查(2011) Colón,Michael A.;Sankaranarayanan,Sriram:模板多面体域的泛化(2011) Bouissou,Olivier;Seladji,Yassamin;Chapoutot,Alexandre:用数值加速方法进行的抽象不动点计算(2010) Bozga,Marius;Iosif,Radu;Perarnau,Swann:定量分离逻辑和列表程序(2010) Klaedtke,Felix:EhrenfeuchtFraïsségoes automatic for real addition(2010年) Daniel Kroneing;Weissenbacher,Georg:使用谓词抽象的循环验证和篡改程序(2010) Schrammel,Peter;Jeannet,Bertrand:将抽象加速方法扩展到具有数值输入的数据流程序(2010) Yohan Boichut;Héam,Pierre Cyrille;Kouchnarenko,Olga:如何处理整数加权自动机正性(2009) Bouchy,Florent;Finkel,Alain;Sangnier,Arnaud:定时计数器系统中的可达性(2009)