@会议记录{bernardo_et_al:OASIcs.FMBC.2024, title={{OASIcs,第118卷,FMBC 2024,完整卷}}, booktitle={第五届区块链正式方法国际研讨会(FMBC 2024)}, 页数={1--164}, series={信息学开放存取系列(OASIcs)}, 国际标准图书编号={978-3-95977-317-1}, ISSN={2190-6807}, 年份={2024}, 体积={118}, editor={Bernardo,Bruno和Marmsoler,Diego}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2024 }, URN={URN:nbn:de:0030-drops-198642}, doi={10.4230/OASIcs.FMBC.2024}, annote={关键词:OASIcs,第118卷,FMBC 2024,完整卷} }
@会议记录{bernardo_et_al:OASIcs.FMBC.2024.0, author={Bernardo,Bruno和Marmsoler,Diego}, title={前面的问题,目录,序言,会议组织}}, booktitle={第五届区块链形式方法国际研讨会(FMBC 2024)}, 页面={0:i--0:xii}, series={信息学开放存取系列(OASIcs)}, 国际标准图书编号={978-3-95977-317-1}, ISSN={2190-6807}, 年份={2024}, 体积={118}, editor={Bernardo,Bruno和Marmsoler,Diego}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/documents/10.4230/OASIcs.FMBC.2024.0 }, URN={URN:nbn:de:0030-drops-198659}, doi={10.4230/OASIcs.FMBC.2024.0}, 注释={关键词:前言、目录、前言、会议组织} }
@会议记录{卡塞兹:OASIcs.FMBC.2024.1, author={Cassez,Franck}, title={{智能合约的演绎验证}}, booktitle={第五届区块链正式方法国际研讨会(FMBC 2024)}, 页面={1:1--1:1}, series={信息学开放存取系列(OASIcs)}, 国际标准图书编号={978-3-95977-317-1}, ISSN={2190-6807}, 年份={2024}, 体积={118}, editor={Bernardo,Bruno和Marmsoler,Diego}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/documents/10.4230/OASIcs.FMBC.2024.1 }, URN={URN:nbn:de:0030-drops-198664}, doi={10.4230/OASIcs.FMBC.2024.1}, annote={关键词:智能合约,演绎验证} }
@会议记录{knispel_et_al:OASIcs.FMBC.2024.2, author={Knispel、Andre和Melkonian、Orestis和Chapman、James和Hill、Alasdair和J“{a}” {a} 蒙古 、Joosep和DeMeo、William和Norell、Ulf}、, title={{Cardano区块链分类账的正式规范,Agda}}机械化, booktitle={第五届区块链形式方法国际研讨会(FMBC 2024)}, 页数={2:1--2:18}, series={信息学开放存取系列(OASIcs)}, 国际标准图书编号={978-3-95977-317-1}, ISSN={2190-6807}, 年份={2024}, 体积={118}, editor={Bernardo,Bruno和Marmsoler,Diego}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/documents/10.4230/OASIcs.FMBC.2024.2 }, URN={URN:nbn:de:0030-drops-198673}, doi={10.4230/OASIcs.FMBC.2024.2}, annote={关键词:区块链,分布式账本,UTxO,Cardano,正式验证,Agda} }
@会议记录{praven_et_al:OASIcs.FMBC.2024.3, author={Praveen,M.和Ramesh,Raghavendra和Doidge,Isaac}, title={{正式验证管线登月共识协议的安全性}}, booktitle={第五届区块链正式方法国际研讨会(FMBC 2024)}, 页数={3:1--3:16}, series={信息学开放存取系列(OASIcs)}, 国际标准图书编号={978-3-95977-317-1}, ISSN={2190-6807}, 年份={2024}, 体积={118}, editor={Bernardo,Bruno和Marmsoler,Diego}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2024.3 }, URN={URN:nbn:de:0030-drops-198688}, doi={10.4230/OASIcs.FMBC.2024.3}, annote={关键词:区块链共识、安全、正式验证} }
@会议记录{jones_et_al:OASIcs.FMBC.2024.4, author={Jones,Elliot和Marmsoler,Diego}, title={{Isabelle}}中的机械化共识, booktitle={第五届区块链形式方法国际研讨会(FMBC 2024)}, 页数={4:1--4:22}, series={信息学开放存取系列(OASIcs)}, 国际标准图书编号={978-3-95977-317-1}, ISSN={2190-6807}, 年份={2024}, 体积={118}, editor={Bernardo,Bruno和Marmsoler,Diego}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2024.4 }, URN={URN:nbn:de:0030-drops-198692}, doi={10.4230/OASIcs.FMBC.2024.4}, annote={关键词:形式方法,区块链,Isabelle/HOL,共识,验证,定理证明人} }
@会议记录{pusceddu_et_al:OASIcs.FMBC.2024.5, author={Pusceddu,Daniele和Bartoletti,Massimo}, title={{在精益4定理证明程序中形式化自动做市商}}, booktitle={第五届区块链形式方法国际研讨会(FMBC 2024)}, pages={5:1-5:13}, series={信息学开放存取系列(OASIcs)}, 国际标准图书编号={978-3-95977-317-1}, ISSN={2190-6807}, 年份={2024}, 体积={118}, editor={Bernardo,Bruno和Marmsoler,Diego}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2024.5 }, URN={URN:nbn:de:0030-drops-198702}, doi={10.4230/OASIcs.FMBC.2024.5}, annote={关键词:智能合约、以太坊、验证、区块链} }
@会议记录{bartoletti_et_al:OASIcs.FMBC.2024.6, author={巴托莱蒂、马西莫和菲奥拉万蒂、法比奥和马特里卡迪、朱利亚和佩蒂诺、罗伯托和赛纳斯、佛朗哥}, title={{面向实体验证工具的基准测试}}, booktitle={第五届区块链形式方法国际研讨会(FMBC 2024)}, 页数={6:1--6:15}, series={信息学开放存取系列(OASIcs)}, 国际标准图书编号={978-3-95977-317-1}, ISSN={2190-6807}, 年份={2024}, 体积={118}, editor={Bernardo,Bruno和Marmsoler,Diego}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2024.6 }, URN={URN:nbn:de:0030-drops-198719}, doi={10.4230/OASIcs.FMBC.2024.6}, annote={关键词:智能合约、以太坊、验证、区块链} }
@会议记录{sorensen:OASIcs.FMBC.2024.7, author={索伦森,德里克}, title={{在Coq}}中正式指定和验证智能合约升级, booktitle={第五届区块链形式方法国际研讨会(FMBC 2024)}, 页数={7:1--7:14}, series={信息学开放存取系列(OASIcs)}, 国际标准图书编号={978-3-95977-317-1}, ISSN={2190-6807}, 年份={2024}, 体积={118}, editor={Bernardo,Bruno和Marmsoler,Diego}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2024.7 }, URN={URN:nbn:de:0030-drops-198728}, doi={10.4230/OASIcs.FMBC.2024.7}, annote={关键词:智能合约验证,形式化方法,交互式定理证明,智能合约升级} }
@会议记录{schifl_et_al:OASIcs.FMBC.2024.8, author={Schifl、Jonas和Beckert、Bernhard}, title={{智能合约应用程序中生命的实用概念}}, booktitle={第五届区块链形式方法国际研讨会(FMBC 2024)}, 页数={8:1--8:13}, series={信息学开放存取系列(OASIcs)}, 国际标准图书编号={978-3-95977-317-1}, ISSN={2190-6807}, 年份={2024}, 体积={118}, editor={Bernardo,Bruno和Marmsoler,Diego}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/documents/10.4230/OASIcs.FMBC.2024.8 }, URN={URN:nbn:de:0030-drops-198732}, doi={10.4230/OASIcs.FMBC.2024.8}, annote={关键词:智能合约、正式验证、安全、安全和活力} }
@会议记录{park_et_al:OASIcs.FMBC.2024.9, author={Park、Junkil和Zhang、Teng和Grieskamp、Wolfgang和Xu、Meng和Di Giacomo、Gerardo和Chen、Kundu和Lu、Yi和Chen,Robert}, title={{使用形式验证保护Aptos框架}}, booktitle={第五届区块链形式方法国际研讨会(FMBC 2024)}, 页码={9:1-9:16}, series={信息学开放存取系列(OASIcs)}, 国际标准图书编号={978-3-95977-317-1}, ISSN={2190-6807}, 年份={2024}, 体积={118}, editor={Bernardo,Bruno和Marmsoler,Diego}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/documents/10.4230/OASIcs.FMBC.2024.9 }, URN={URN:nbn:de:0030-drops-198741}, doi={10.4230/OASIcs.FMBC.2024.9}, annote={关键词:正式验证、智能合约、Aptos网络、Move语言、Move Prover} }
@会议记录{vinogradova_et_al:OASIcs.FMBC.2024.10, author={维诺格拉多娃、波琳娜和梅尔科尼安、奥雷斯蒂斯和沃德勒、菲利普和查克拉瓦蒂、曼努埃尔和克里伊恩、雅科和琼斯、迈克尔·佩顿和查普曼、詹姆斯·费拉里奥、都铎}, title={{EUTxO分类账模型中的结构化合同}}, booktitle={第五届区块链形式方法国际研讨会(FMBC 2024)}, 页数={10:1--10:19}, series={信息学开放存取系列(OASIcs)}, 国际标准图书编号={978-3-95977-317-1}, ISSN={2190-6807}, 年份={2024}, 体积={118}, editor={Bernardo,Bruno和Marmsoler,Diego}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2024.10 }, URN={URN:nbn:de:00030-drops-198757}, doi={10.4230/OASIcs.FMBC.2024.10}, annote={关键词:区块链、账本、智能合约、形式验证、规范、过渡系统、Agda、UTxO、EUTxO、小步骤语义} }