The following pages link to Learning refinement types (Q2981992):
Displaying 5 items.
- Constraint-based relational verification (Q832229) (← links)
- A learning-based approach to synthesizing invariants for incomplete verification engines (Q2208307) (← links)
- Predicate abstraction and CEGAR for \(\nu \mathrm{HFL}_\mathbb{Z}\) validity checking (Q2233530) (← links)
- Modular Verification of Higher-Order Functional Programs (Q2988670) (← links)
- ICE-based refinement type discovery for higher-order functional programs (Q5919002) (← links)
