Pages that link to "Item:Q1664383"
From MaRDI portal
The following pages link to Relational verification through Horn clause transformation (Q1664383):
Displaying 6 items.
- Relational program reasoning using compiler IR (Q1703014) (← links)
- Removing algebraic data types from constrained Horn clauses using difference predicates (Q2096439) (← links)
- Predicate Pairing for program verification (Q4644353) (← links)
- (Q5866353) (← links)
- Operationally-based program equivalence proofs using LCTRSs (Q6052946) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)
