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

DOI10.1134/S0361768823050043zbMATH Open1543.68207MaRDI QIDQ6535150FDOQ6535150

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)

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• A Bayesian approach for comparing cross-validated algorithms on multiple data sets
• Rare events for statistical model checking an overview
• A survey of statistical model checking

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)