Pages that link to "Item:Q4593003"

The following pages link to Proving correctness of imperative programs by linearizing constrained Horn clauses (Q4593003):

Displaying 7 items.

• Abstract conjunctive partial deduction for the analysis and compilation of coroutines (Q511025) (← links)
• Automatic synthesis of logical models for order-sorted first-order theories (Q1655487) (← links)
• Solving Horn Clauses on Inductive Data Types Without Induction (Q4559806) (← links)
• Predicate Pairing for program verification (Q4644353) (← links)
• Tree dimension in verification of constrained Horn clauses (Q4644355) (← links)
• (Q5015369) (← links)
• (Q5016384) (← links)