×

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

Dijkstra、Kruskal和Prim算法的C实现的功能正确性。 (英语) Zbl 1493.68216号

Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12760, 801-826 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

再要几美元。验证细粒度算法分析,直至LLVM。 (英语) Zbl 1473.68222号

Yoshida,Nobuko(编辑),《编程语言和系统》。2021年3月27日至4月1日,作为欧洲软件理论与实践联合会议(ETAPS 2021)的一部分,在卢森堡卢森堡市举行了第30届欧洲编程研讨会(ESOP 2021)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12648, 292-319 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

全局图属性的局部推理。 (英语) Zbl 1508.68065号

Müller,Peter(编辑),《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会(ESOP 2020),是欧洲软件理论与实践联合会议(ETAPS 2020)的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12075, 308-335 (2020).
PDF格式BibTeX公司 XML格式引用

用Kleene关系代数验证不相交集合林的正确性。 (英语) Zbl 07578339号

Fahrenberg,Uli(编辑)等人,《计算机科学中的关系和代数方法》。2020年10月26日至29日在法国帕莱索举行的2020年RAMiCS第18届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12062, 134-151 (2020).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

随时间优化–优化Isabelle/HOL中算法的运行时间。 (英语) Zbl 07649969号

Harrison,John(ed.)等人,第十届交互式定理证明国际会议,2019年9月9日至12日,美国俄勒冈州波特兰。会议记录。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。141,第20条,第18页(2019年)。
MSC公司:68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

增量循环检测算法的形式化证明和分析。 (英语) Zbl 07649967号

Harrison,John(ed.)等人,第十届交互式定理证明国际会议,2019年9月9日至12日,美国俄勒冈州波特兰。会议记录。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。141,第18条,第20页(2019年)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段