Pages that link to "Item:Q3457775"
From MaRDI portal
The following pages link to Booster: An Acceleration-Based Verification Framework for Array Programs (Q3457775):
Displaying 12 items.
- Booster (Q45000) (← links)
- Decision procedures for flat array properties (Q287272) (← links)
- Adding decision procedures to SMT solvers using axioms with triggers (Q287384) (← links)
- \textsc{Diffy}: inductive reasoning of array programs using difference invariants (Q832320) (← links)
- Counterexample-guided prophecy for model checking modulo the theory of arrays (Q2044196) (← links)
- Interpolation and amalgamation for arrays with MaxDiff (Q2233410) (← links)
- Horn Clause Solvers for Program Verification (Q2947164) (← links)
- A New Acceleration-Based Combination Framework for Array Properties (Q2964461) (← links)
- Verifying Array Manipulating Programs with Full-Program Induction (Q5039501) (← links)
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays (Q5043584) (← links)
- SMT-based verification of data-aware processes: a model-theoretic approach (Q5139282) (← links)
- On algebraic array theories (Q6192058) (← links)
