Cited in
(15)- 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
- ASASP
- Mcmt
- FunArray
- Cubicle
- CTIGAR
- SAFARI
- VERIFAS
- From model completeness to verification of data aware processes
- Diffy
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
This page was built for software: Booster
