Andrew Ireland

From MaRDI portal
Person:685547

Available identifiers

zbMath Open ireland.andrewMaRDI QIDQ685547

List of research outcomes





PublicationDate of PublicationType
Extensions to the rippling-out tactic for guiding inductive proofs2023-04-28Paper
Extensions to a generalization critic for inductive proof2019-01-15Paper
Proof automation for functional correctness in separation logic2016-07-07Paper
An integrated approach to high integrity software verification2007-01-30Paper
Rippling: Meta-Level Guidance for Mathematical Reasoning2005-07-28Paper
Proof planning for strategy development2002-06-27Paper
Automatic verification of functions with accumulating parameters2000-07-19Paper
Productive use of failure in inductive proof1996-06-11Paper
Rippling: A heuristic for guiding inductive proofs1994-05-09Paper
https://portal.mardi4nfdi.de/entity/Q42825191993-01-01Paper

Research outcomes over time

This page was built for person: Andrew Ireland

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:685547&oldid=7230749"
Powered by MediaWiki