罗莎·阿巴斯;乔纳斯·希夫尔;伊娃·达鲁洛娃;马蒂亚斯·乌尔布里奇;沃尔夫冈·阿伦特 KeY中浮点Java程序的演绎验证。 (英语) Zbl 1474.68186号 Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。12652, 242-261 (2021).MSC公司:第68季度第60季度 65克50 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Abbasi}等人,Lect。注释计算。科学。12652、242--261(2021;Zbl 1474.68186) 全文: 内政部 arXiv公司
德巴斯米塔·洛哈尔;Jeangoudoux,Clothilde公司;乔舒亚·索贝尔;伊娃·达鲁洛娃;玛丽亚·克里斯塔基斯 条件浮点验证的两阶段方法。 (英语) 兹比尔1474.68191 Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。12652, 43-63 (2021).MSC公司:第68季度第60季度 65克50 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Lohar}等人,Lect。注释计算。科学。12652,43-63(2021;Zbl 1474.68191) 全文: 内政部
杰西卡·格伦斯基;穆罕默德·阿明·本·萨西;斯蒂芬·贝克尔;桑卡拉纳拉亚南,斯里拉姆 模板多面体和双线性优化。 (英语) Zbl 1426.65079号 形式方法系统。设计。 54,第1号,27-63(2019).MSC公司:65千5 90C25型 90摄氏51度 PDF格式BibTeX公司 XML格式引用 \textit{J.Gronski}等人,《形式方法系统》。设计。54,编号1,27-63(2019;Zbl 1426.65079) 全文: 内政部
劳拉·蒂托洛;玛丽亚诺·莫斯卡托(Mariano M.Moscato)。;塞萨尔·穆尼奥斯。;亚伦·杜特尔;弗朗索瓦·博博特 紧凑位置报告算法的正式验证浮点实现。 (英语) Zbl 1460.68128号 Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10951, 364-381 (2018).MSC公司:68单位35 6504年 68页30 第68季度第60季度 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{L.Titolo}等人,Lect。注释计算。科学。10951、364--381(2018;Zbl 1460.68128) 全文: 内政部 链接
奥利维尔·布瓦索;亚萨米娜·塞拉吉;亚历山大·查普托 数值程序分析中抽象不动点计算的加速。 (英语) Zbl 1244.68029号 J.塞姆。计算。 47,第12期,1479-1511(2012).MSC公司:68号30 65B99型 PDF格式BibTeX公司 XML格式引用 \textit{O.Bouissou}等人,J.Symb。计算。47,第12号,1479--1511(2012;Zbl 1244.68029) 全文: 内政部
奥利维尔·布瓦索;亚萨米娜·塞拉吉;亚历山大·查普托 用数值加速方法进行抽象不动点计算。 (英语) Zbl 1342.68071号 Miné,Antoine(ed.)等人,第二届数字和符号抽象域国际研讨会论文集:NSAD 2010,法国佩皮尼昂,2010年9月13日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》267,第1期,29-42(2010)。MSC公司:68号30 65B99型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{O.Bouissou}等人,《电子》。注释Theor。计算。科学。267,编号1,29-42(2010;Zbl 1342.68071) 全文: 内政部
亚历山大·谢列布雷尼克;丹尼·德·施雷耶 浮点计算的终止。 (英语) Zbl 1102.65054号 J.汽车。推理 34,第2期,141-177(2005).MSC公司:65克50 PDF格式BibTeX公司 XML格式引用 \textit{A.Serebrenik}和\textit{D.De Schreye},J.Autom。推理34,No.2,141--177(2005;Zbl 1102.65054) 全文: 内政部