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...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) s. 16 - 20
Hlavní autoři:	Zhai, Shumao, Li, Xiaozhou, Ge, Ning
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.05.2023
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!