QUIC Graphs: Relational Invariant Generation for Containers
No abstract available.
Related papers
- Vector addition system reachability problem: a short self-contained proof POPL 2011
- Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs TACAS 2025
- Non-linear reasoning for invariant synthesis POPL 2018
- On the Adequacy of Graph Rewriting for Simulating Term Rewriting TOPLAS 1994
- A Few Graph-Based Relational Numerical Abstract Domains SAS 2002
- Templates and recurrences: better together PLDI 2020
- Path invariants PLDI 2007
- Local Reasoning for Global Graph Properties ESOP 2020