HOME: Heard-Of based Formal Modeling and Verification Environment for Consensus Protocols

Consensus protocol plays an important role in en-suring the reliability of distributed systems. How to formally model and verify it is a hot research issue. Due to the limitation of verification performance, it can usually verify consensus algorithms with a small number of processes. The Heard-Of (H...

Full description

Bibliographic Details

Published in:	Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) pp. 16 - 20
Main Authors:	Zhai, Shumao, Li, Xiaozhou, Ge, Ning
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.05.2023
Subjects:	Byzantine fault tolerant Consensus algorithm Consensus protocol Encoding Fault tolerance Fault tolerant systems formal verification Heard-Of modeling language Prototypes Safety SAT
ISSN:	2574-1934
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!