Constraint Solving for Program Verification: Theory and Practice by Example
No abstract available.
Related papers
- Symbolic Boolean derivatives for efficiently solving extended regular expression constraints PLDI 2021
- Inter-theory dependency analysis for SMT string solvers OOPSLA 2020
- A Scheduling Framework for Spatial Architectures Across Multiple Constraint-Solving Theories TOPLAS 2014
- Analytic Constraint Solving and Interval Arithmetic POPL 2000
- A constraint-based approach to solving games on infinite graphs POPL 2014
- SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories PLDI 2024
- Automating Induction for Solving Horn Clauses CAV 2017
- String constraints with concatenation and transducers solved efficiently POPL 2018