Saturation Unbound
Abstract elided by the publisher.
Related papers
- Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions OOPSLA 2023
- Register Saturation in Superscalar and VLIW Codes CC 2001
- Quantified Invariant Generation Using an Interpolating Saturation Prover TACAS 2008
- Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation TACAS 2001
- Unification with Abstraction and Theory Instantiation in Saturation-Based Reasoning TACAS 2018
- Saturation-Based Incremental LTL Model Checking with Inductive Proofs TACAS 2015
- Multi-core On-The-Fly Saturation TACAS 2019
- Parallel and Customizable Equality Saturation CC 2026