Pages that link to "Item:Q5299583"
From MaRDI portal
The following pages link to Generalization strategies for the verification of infinite state systems (Q5299583):
Displaying 4 items.
- On recursion-free Horn clauses and Craig interpolation (Q746767) (← links)
- Removing algebraic data types from constrained Horn clauses using difference predicates (Q2096439) (← links)
- Proving correctness of imperative programs by linearizing constrained Horn clauses (Q4593003) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)
