×

找到23份文件（结果1–23）

最新的 引文 相关性
盛、欢欢;亚历山大·本特坎普;詹伯华

HHLPy公司：使用霍尔逻辑对混合系统进行实际验证。 （英语） Zbl 1529.68164号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 160-178 (2023).
MSC公司：60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛H.Sheng｝等人，Lect。注释计算。科学。14000、160--178（2023年；Zbl 1529.68164）
全文： DOI程序 arXiv公司
卞金亭;Hiep，Hans-Dieter A。;德波尔（Frank S。;斯蒂恩·德古乌

在KeY中集成ADT及其在基于历史的推理中的应用。 （英语） 兹比尔1521.68076

Huisman，Marieke（编辑）等人，《形式方法》。第24届国际研讨会，FM 2021，虚拟活动，2021年11月20日至26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13047, 255-272 (2021).
MSC公司：60年第68季度 68问题65 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.Bian}等人，Lect。注释计算。科学。13047255-272（2021；Zbl 1521.68076）
全文： DOI程序 链接
莫森野生动物园;Wytse Oortwijn公司;玛丽克·赫斯曼

并行Bellman-Ford算法的自动验证。 （英语） Zbl 1497.68396号

Drágoi，Cezara（编辑）等人，《静态分析》。第28届国际研讨会，SAS 2021，芝加哥，伊利诺伊州，美国，2021年10月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12913, 346-358 (2021).
MSC公司：68兰特 60年第68季度 68瓦10
PDF格式BibTeX公司 XML格式引用
\textit{M.Safari}等人，Lect。注释计算。科学。12913，346--358（2021；Zbl 1497.68396）
全文： DOI程序
尤卡斯·马祖雷克

EthVer：随机以太坊智能合约的正式验证。 （英语） Zbl 1490.91255号

Bernhard，Matthew（编辑）等人，《金融加密和数据安全》。FC 2021国际研讨会。Codecfin、DeFi、VOTING和WTSC，虚拟活动，2021年3月5日。修订了选定的论文。柏林：斯普林格。莱克特。注释计算。科学。12676, 364-380 (2021).
MSC公司：91G99型 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{Ł.Mazurek}，莱克特。注释计算。科学。12676364--380（2021年；Zbl 1490.91255）
全文： DOI程序
莱恩·伦瑞奇;保罗·西维洛蒂。

使用RESOLVE框架对Java组件进行形式化验证。 （英语） Zbl 07497928号

Konev，Boris（编辑）等人，《组合系统的前沿》。第十三届国际研讨会，FroCoS 2021，英国伯明翰，2021年9月8-10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12941, 287-305 (2021).
MSC公司：68泰克
PDF格式BibTeX公司 XML格式引用
\textit{L.Rumreich}和\textit{P.A.G.Sivilotti}，莱克特。注释计算。科学。12941，287--305（2021；Zbl 07497928）
全文： DOI程序
亚历山大·坎金;阿列克谢·霍罗希洛夫;阿特姆·科钦亚克;帕维尔·普特罗

根据源代码级规范进行演绎二进制代码验证。 （英语） Zbl 1511.68080号

Ahrendt，Wolfgang（编辑）等人，《测试和证明》。第14届国际会议，TAP 2020，作为STAF 2020的一部分，于2020年6月22日至23日在挪威卑尔根举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12165, 43-58 (2020).
MSC公司：68号30 68N20型
PDF格式BibTeX公司 XML格式引用
\textit｛A.Kamkin｝等人，Lect。注释计算。科学。12165，43-58（2020；Zbl 1511.68080）
全文： DOI程序
彼得·兰米奇;托比亚斯·尼普科

证明珍珠：功能完善、简单高效的优先搜索树以及Prim和Dijkstra的应用程序。 （英语） Zbl 07649972号

Harrison，John（ed.）等人，第十届交互式定理证明国际会议，2019年9月9日至12日，美国俄勒冈州波特兰。会议记录。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。141，第23条，第18页（2019年）。
MSC公司：68磅05分
PDF格式BibTeX公司 XML格式引用
\textit{P.Lammich}和\textit{T.Nipkow}，LIPIcs——莱布尼茨国际程序。通知。141，第23条，第18页（2019年；Zbl 07649972）
全文： DOI程序
陈，冉;西里尔·科恩;珍妮·雅克·莱维;斯蒂芬·默兹;Laurent Théry

Why3、Coq和Isabelle中Tarjan强连通分量算法的形式化证明。 （英语） Zbl 07649962号

Harrison，John（ed.）等人，第十届交互式定理证明国际会议，2019年9月9日至12日，美国俄勒冈州波特兰。会议记录。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。141，第13条，第19页（2019年）。
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{R.Chen}等人，LIPIcs——莱布尼茨国际程序。通知。141，第13条，第19页（2019；Zbl 07649962）
全文： DOI程序 arXiv公司
亚历山大·克努佩尔;托马斯·图姆;卡斯滕·伊曼纽尔·帕迪拉;伊娜·谢弗

理解演绎验证的参数：对KeY的实证研究。 （英语） Zbl 1511.68317号

Avigad，Jeremy（编辑）等，交互式定理证明。2018年7月9日至12日在英国牛津举行的2018年第九届国际会议ITP，作为联邦逻辑会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10895, 342-361 (2018).
MSC公司：68伏15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Knüppel}等人，Lect。注释计算。科学。10895、342--361（2018年；Zbl 1511.68317）
全文： DOI程序
西尔维·博尔多;弗朗索瓦·克莱门特;Jean-Christophe Filliátre;米凯拉·梅耶罗;纪尧姆·梅尔金德;皮埃尔·韦斯

可信计算：从偏微分方程到实际程序的机械化证明。 （英语） Zbl 1369.35051号

计算。数学。申请。 68，第3号，325-352（2014）.
MSC公司：35问题35 6500万06 60年第68季度 65G20个 68吨15 65个M12
PDF格式BibTeX公司 XML格式引用
\textit{S.Boldo}等人，计算。数学。申请。68，第3号，325--352（2014；Zbl 1369.35051）
全文： DOI程序 arXiv公司
卡洛·阿尔贝托·福里亚;迈耶，伯特兰

使用后置条件推断循环不变量。 （英语） 兹比尔1287.68108

安德烈亚斯·布拉斯（编辑）等人，《逻辑和计算领域》。在尤里·古雷维奇70岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-15024-1/pbk）。计算机科学讲座笔记6300，277-300（2010）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛C.A.Furia｝和\textit｛B.Meyer｝，Lect。注释计算。科学。6300、277--300（2010；Zbl 1287.68108）
全文： DOI程序 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件