conftrace_

inductive invariant

4 papers

Explore in graph

Co-occurring keywords

safety property (8) formal verification (284) smt solver (18) distributed protocol (7) automated verification (11) provenance invariant (1) distributed protocol verification (1) smt solving (22) paxos protocol (1) distributed system (96)

Papers

Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols OSDI 2025
DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols OSDI 2022
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols OSDI 2021
Finding Invariants of Distributed Systems: It's a Small (Enough) World After All NSDI 2021