conftrace_

inductive invariant

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

safety property (3) formal verification (3) distributed protocol (2) automated verification (2) smt solver (2) provenance invariant (1) distributed protocol verification (1) smt solving (1) paxos protocol (1) distributed system (1)

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