Cited in
(23)- Diffy
- PatEC
- Constraint-based relational verification
- \textsc{Diffy}: inductive reasoning of array programs using difference invariants
- Modular verification of procedure equivalence in the presence of memory allocation
- Inter-program Properties
- TVOC
- LOGEN
- TASS_
- ATGen
- Cetus
- HMC
- SymDiff
- PrologCheck
- JayHorn
- RVT
- CIVL
- WebAssembly
- Product programs and relational program logics
- Beyond 2-safety: asymmetric product programs for relational program verification
- Relational bytecode correlations
- Relational program reasoning using compiler IR
- eThor
This page was built for software: CoVaC
