Similar Items: Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis
- Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
- The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
- Small Term Reachability and Related Problems for Terminating Term Rewriting Systems
- visualCaseGen: An SMT-based Experiment Configurator for Community Earth System Model
- Reasoning with Finite Sets and Cardinality Constraints in SMT
- Reachability Analysis of Communicating Pushdown Systems