Booster

swMATH33291MaRDI QIDQ45000FDOQ45000

Author name not available (Why is that?)

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)

• Verifying array manipulating programs with full-program induction
• Diffy
• \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
• ASASP
• Mcmt
• FunArray
• Cubicle
• CTIGAR
• SAFARI
• VERIFAS
• 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