conftrace_

provenance invariant

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

inductive invariant (1) distributed protocol (1) safety property (1) static analysis (1) formal verification (1)

Papers

Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols OSDI 2025