conftrace_

refinement checking

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

protocol implementation (1) safety bug (1) simulation-based checking (1) runtime verification (1) distributed protocol (1) bug detection (1) safety property (1)

Papers

Runtime Protocol Refinement Checking for Distributed Protocol Implementations NSDI 2025