×

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

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

Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。12760, 801-826 (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格式引用

正在从Isabelle/HOL生成经过验证的LLVM。 (英语) 兹比尔07649971

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

值得信赖的图形算法(邀请谈话)。 (英语) Zbl 07561645号

Rossmanith,Peter(ed.)等人,第44届计算机科学数学基础国际研讨会,2019年MFCS,德国亚琛,2019月26日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。138,第1条,第22页(2019)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份