conftrace_

paxos protocol

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

inductive invariant (1) distributed system (1) safety verification (1) formal verification (1) automated reasoning (1)

Papers

Finding Invariants of Distributed Systems: It's a Small (Enough) World After All NSDI 2021