research
∙
11/14/2022
Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS
Using an algorithm due to Safra for distributed termination detection as...
share
research
∙
06/09/2022
Holistic Verification of Blockchain Consensus
Blockchain has recently attracted the attention of the industry due, in ...
research
∙
01/02/2022
Primal-Dual Method for Optimization Problems with Changing Constraints
We propose a modified primal-dual method for general convex optimization...
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