Booster

MaRDI QIDQ45000swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-319-11936-6_2

Described by source

• Booster: an acceleration-based verification framework for array programs

Cited in

(15)

• Diffy
• Verifying array manipulating programs with full-program induction
• \textsc{Diffy}: inductive reasoning of array programs using difference invariants
• Decision procedures for flat array properties
• Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
• From model completeness to verification of data aware processes
• ASASP
• Mcmt
• FunArray
• Cubicle
• SMT-based verification of data-aware processes: a model-theoretic approach
• CTIGAR
• SAFARI
• VERIFAS
• Horn clause solvers for program verification

This page was built for software: Booster