conftrace_

protocol correctness

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

invariant inference (1) state machine (1) distributed protocol (1) formal verification (1) theorem proving (1)

Papers

Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs OSDI 2024