CoVaC
From MaRDI portal
Software:33279
No author found.
Related Items (8)
Constraint-based relational verification ⋮ \textsc{Diffy}: inductive reasoning of array programs using difference invariants ⋮ Product programs and relational program logics ⋮ Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification ⋮ Relational program reasoning using compiler IR ⋮ Modular Verification of Procedure Equivalence in the Presence of Memory Allocation ⋮ Relational bytecode correlations ⋮ Inter-program Properties
This page was built for software: CoVaC
