Property-Agnostic Base Case Extension for Scalable Verification of Distributed Systems
Abstract elided by the publisher.
Related papers
- QuickSilver: modeling and parameterized verification for distributed agreement-based systems OOPSLA 2021
- Translating Traditional SIMD Instructions to Vector Length Agnostic Architectures CGO 2019
- Multitier Modules ECOOP 2019
- Multi-agent Safety Verification Using Symmetry Transformations TACAS 2020
- PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time CAV 2020
- Path-Sensitive Abstract Interpretation for WCET Estimation PLDI 2026
- Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement POPL 2024
- Mallob: Scalable Automated Reasoning on Demand CAV 2026