The following pages link to c2i (Q31315):
Displaying 5 items.
- From invariant checking to invariant inference using randomized search (Q518404) (← links)
- Relational program reasoning using compiler IR (Q1703014) (← links)
- A learning-based approach to synthesizing invariants for incomplete verification engines (Q2208307) (← links)
- Learning inductive invariants by sampling from frequency distributions (Q2225478) (← links)
- ICE-based refinement type discovery for higher-order functional programs (Q5919002) (← links)