swMATH21472MaRDI QIDQ33279FDOQ33279
Author name not available (Why is that?)
Official website: https://rd.springer.com/chapter/10.1007%2F978-3-540-68237-0_5
Cited In (21)
- 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
- Relational bytecode correlations
- Product programs and relational program logics
- Inter-program Properties
- Beyond 2-safety: asymmetric product programs for relational program verification
- TASS_
- ATGen
- Cetus
- HMC
- SymDiff
- PrologCheck
- JayHorn
- RVT
- CIVL
- WebAssembly
- Relational program reasoning using compiler IR
- eThor
This page was built for software: CoVaC
