肉冻

此软件的关键字
zbMATH参考文献(参考
23篇文章
引用, 1标准件 )
Amato,Gianluca;Di Nardo Di Maio,Simone;Meo,Maria Chiara;Scozzari,Francesca:模板抽象域上的下降链和缩小(2018) Boutonet,Rémy;Halbwachs,Nicolas:通过超越递减序列的抽象解释改进程序分析的结果(2018) Schulze Frielinghaus,Stefan;Seidl,Helmut;Vogler,Ralf:强制终止过程间分析(2018) Frohn,F.;Naaf,M.;Hensel,J.;Brockschmidt,M.;Giesl,J.:整数程序的运行时下限(2016年) Roux,Pierre;Garoche,Pierre Loïc:实际政策迭代。 静态分析中政策迭代的实际应用:二次案例(2015) Maisonneuve,Vivien;Hermant,Olivier;Irigoin,François:使用变压器计算不变量:实验可伸缩性和准确性(2014) Bouissou,Olivier;Seladji,Yassamin;Chapoutot,Alexandre:数值程序分析中抽象不动点计算的加速(2012) Brauer,Jörg;King,Andy:无量词消除的传递函数合成(2012) Gawlitza,Thomas Martin;Monniaux,David:简洁表示的控制流图中通过策略迭代生成不变量(2012) Maisonneuve,Vivien:控制节点分裂的凸不变精化:启发式方法(2012) Massé,Damien:通过政策迭代证明终止(2012) Prakken,Henry:对当前两种形式论证趋势的思考(2012) Schrammel,Peter;Jeannet,Bertrand:将抽象加速应用于反应式程序的(co-)可达性分析(2012) Falke,Stephan;Kapur,Deepak;Sinz,Carsten:使用编译器中间语言的C程序终止分析(2011) Gawlitza,Thomas Martin;Monniaux,David:通过SMT解决改进策略(2011) Lakhdar Chaouch,Lies;Jeannet,Bertrand;Girault,Alain:具有复杂控制图的程序的阈值加宽(2011) Peña,Ricardo;Delgado Muñoz,Agustin D.:函数语言中的大小不变量和排序函数综合(2011) ioport公司 Alias,Christophe;Dart,Alain;Feautrier,Paul;Gonnard,Laure:流程图程序的多维排名、程序终止和复杂性界限(2010) Bouissou,Olivier;Seladji,Yassamin;Chapoutot,Alexandre:用数值加速方法进行的抽象不动点计算(2010) Bozga,Marius;Iosif,Radu;Perarnau,Swann:定量分离逻辑和列表程序(2010)