Automated verification of multi-party agreements and scheduling of sending messages in distributed ledger systems

DOI10.1134/S0361768823050043MaRDI QIDQ6535150zbMATH OpenFDO

Authors I. A. Fedotov, A. S. Khritankov, M. D. Obidare

Publication date 10 November 2023

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

verificationMarkov chainconsensusstatistical model checkingblockchain

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Recommendations

• Formal modeling and verification of Paxos based on Coq
• Verification of consensus algorithms using satisfiability solving
• Analysis of the average confirmation time of transactions in a blockchain system
• scientific article; zbMATH DE number 1796134
• Formal verification of Multi-Paxos for distributed consensus

Cites work

• scientific article; zbMATH DE number 1905115 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A Bayesian approach for comparing cross-validated algorithms on multiple data sets
• A survey of statistical model checking
• Rare events for statistical model checking an overview

This page was built for publication: Automated verification of multi-party agreements and scheduling of sending messages in distributed ledger systems

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