Similar Items: Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
- Bounded Quantifier Instantiation for Checking Inductive Invariants
- On the locality of arb-invariant first-order formulas with modulo counting quantifiers
- Compositional Verification for Timed Systems Based on Automatic Invariant Generation
- Quantifier-Free Interpolation of a Theory of Arrays
- Spatial logics with connectedness predicates
- Predicative theories of continuous lattices