Pages that link to "Item:Q685548"
From MaRDI portal
The following pages link to Rippling: A heuristic for guiding inductive proofs (Q685548):
Displayed 15 items.
- Using induction and rewriting to verify and complete parameterized specifications (Q672051) (← links)
- An integrated approach to high integrity software verification (Q861714) (← links)
- Supporting the formal verification of mathematical texts (Q865656) (← links)
- Deaccumulation techniques for improving provability (Q882487) (← 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)
- An approach to automatic deductive synthesis of functional programs (Q2457802) (← 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)