Booster

swMATH33291MaRDI QIDQ45000FDOQ45000

Author name not available (Why is that?)

Described by source

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

Cited In (7)

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

This page was built for software: Booster