The following pages link to CoVaC (Q33279):
Displaying 8 items.
- Relational bytecode correlations (Q710672) (← links)
- Constraint-based relational verification (Q832229) (← links)
- \textsc{Diffy}: inductive reasoning of array programs using difference invariants (Q832320) (← links)
- Relational program reasoning using compiler IR (Q1703014) (← links)
- Product programs and relational program logics (Q2374302) (← links)
- Modular Verification of Procedure Equivalence in the Presence of Memory Allocation (Q2988675) (← links)
- Inter-program Properties (Q3392934) (← links)
- Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification (Q3455833) (← links)