Pages that link to "Item:Q5919615"
From MaRDI portal
The following pages link to ICE-based refinement type discovery for higher-order functional programs (Q5919615):
Displaying 10 items.
- Constraint-based relational verification (Q832229) (← links)
- Decision tree learning in CEGIS-based termination analysis (Q832251) (← 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)
- RustHorn: CHC-Based Verification for Rust Programs (Q5041108) (← links)
- ICE-based refinement type discovery for higher-order functional programs (Q5919002) (← links)
- The \textsc{Golem} Horn solver (Q6535535) (← links)
- \textsc{Sorcar}: property-driven algorithms for learning conjunctive invariants (Q6536295) (← links)
- Temporal verification of programs via first-order fixpoint logic (Q6536298) (← links)
- Global guidance for local generalization in model checking (Q6632197) (← links)
