research
∙
06/09/2022
Holistic Verification of Blockchain Consensus
Blockchain has recently attracted the attention of the industry due, in ...
share
research
∙
12/16/2021
A case study on parametric verification of failure detectors
Partial synchrony is a model of computation in many distributed algorith...
research
∙
11/30/2020
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
Threshold guards are a basic primitive of many fault-tolerant algorithms...
research
∙
10/14/2020
A Tendermint Light Client
In Tendermint blockchains, the proof-of-stake mechanism and the underlyi...
research
∙
04/19/2018