×

找到7个文档(结果1-7)

KeY中浮点Java程序的演绎验证。 (英语) Zbl 1474.68186号

Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。12652, 242-261 (2021).
PDF格式BibTeX公司 XML格式引用

条件浮点验证的两阶段方法。 (英语) 兹比尔1474.68191

Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。12652, 43-63 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

紧凑位置报告算法的正式验证浮点实现。 (英语) Zbl 1460.68128号

Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10951, 364-381 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

用数值加速方法进行抽象不动点计算。 (英语) Zbl 1342.68071号

Miné,Antoine(ed.)等人,第二届数字和符号抽象域国际研讨会论文集:NSAD 2010,法国佩皮尼昂,2010年9月13日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》267,第1期,29-42(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段