Smart contract in the loop: fault impact assessment for distributed ledger technologies

DOI10.14232/ACTACYB.312501MaRDI QIDQ6927117zbMATH OpenFDO

Authors Bertalan Zoltán Péter, Zsófia Ádám, Zoltán Micskei, I. Kocsis

Publication date 22 September 2025

Published in Acta Cybernetica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.14232/ACTACYB.312501

zbMATH Keywords

blockchaindistributed ledger technologyformal verificationHyperledger FabricJava Pathfindermodel checking

Mathematics Subject Classification ID

Database theory (68P15)

This page was built for publication: Smart contract in the loop: fault impact assessment for distributed ledger technologies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6927117)