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