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)

• \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
• Verifying Array Manipulating Programs with Full-Program Induction
• 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