Similar Items: Bounded Quantifier Instantiation for Checking Inductive Invariants
- Regular Model Checking Upside-Down: An Invariant-Based Approach
- Linear Encodings of Bounded LTL Model Checking
- Model Checking Lower Bounds for Simple Graphs
- Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
- On the locality of arb-invariant first-order formulas with modulo counting quantifiers
- Successor-Invariant First-Order Logic on Classes of Bounded Degree