Pages that link to "Item:Q685548"
From MaRDI portal
The following pages link to Rippling: A heuristic for guiding inductive proofs (Q685548):
Displayed 11 items.
- Using induction and rewriting to verify and complete parameterized specifications (Q672051) (← links)
- Rule-based induction (Q1334895) (← links)
- A recursion planning analysis of inductive completion (Q1353935) (← links)
- Constraint solving for proof planning (Q1774557) (← links)
- Sound generalizations in mathematical induction (Q1882908) (← links)
- Productive use of failure in inductive proof (Q1915134) (← links)
- Middle-out reasoning for synthesis and induction (Q1915136) (← links)
- A calculus for and termination of rippling (Q1915137) (← links)
- Proving theorems by reuse (Q1978233) (← links)
- A Formalisation of Weak Normalisation (with Respect to Permutations) of Sequent Calculus Proofs (Q4506460) (← links)
- A case study in the mechanical verification of fault tolerance (Q4783363) (← links)