The following pages link to Andrew Ireland (Q685547):
Displaying 9 items.
- Rippling: A heuristic for guiding inductive proofs (Q685548) (← links)
- An integrated approach to high integrity software verification (Q861714) (← links)
- Proof planning for strategy development (Q1601860) (← links)
- Productive use of failure in inductive proof (Q1915134) (← links)
- Automatic verification of functions with accumulating parameters (Q4267724) (← links)
- (Q4282519) (← links)
- Extensions to a generalization critic for inductive proof (Q4647499) (← links)
- Rippling: Meta-Level Guidance for Mathematical Reasoning (Q5462949) (← links)
- Proof automation for functional correctness in separation logic (Q5739977) (← links)
