Booster

swMATH33291MaRDI QIDQ45000

No author found.

Described by source

• Booster: An Acceleration-Based Verification Framework for Array Programs

Related Items (7)

Verifying Array Manipulating Programs with Full-Program Induction ⋮ Decision procedures for flat array properties ⋮ Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays ⋮ \textsc{Diffy}: inductive reasoning of array programs using difference invariants ⋮ Horn Clause Solvers for Program Verification ⋮ From model completeness to verification of data aware processes ⋮ SMT-based verification of data-aware processes: a model-theoretic approach

This page was built for software: Booster