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
- Relational bytecode correlations
- Product programs and relational program logics
- Inter-program Properties
- Modular Verification of Procedure Equivalence in the Presence of Memory Allocation
- Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification
- Relational program reasoning using compiler IR
This page was built for software: CoVaC
