conftrace_

symbolic simulation

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

quantum program optimization (1) relational correctness (1) configuration diagnosis (1) configuration repair (1) contract violation (1) routing configuration (1) smt solving (1) network verification (1) formal verification (1)

Papers

Diagnosing and Repairing Distributed Routing Configurations Using Selective Symbolic Simulation NSDI 2026 Relational Verification for Cost-Aware Quantum Program Optimization AAAI 2026