research
∙
05/12/2022
Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+
We present a new technique for automatically inferring inductive invaria...
share
research
∙
09/24/2021
Formal Verification of a Distributed Dynamic Reconfiguration Protocol
We present a formal, machine checked TLA+ safety proof of MongoRaftRecon...
research
∙
02/23/2021
