CoVaC
From MaRDI portal
Software:33279
swMATH21472MaRDI QIDQ33279FDOQ33279
Author name not available (Why is that?)
Cited In (8)
- 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
- Relational program reasoning using compiler IR
This page was built for software: CoVaC
