11![Case-Analysis for Rippling and Inductive Proof Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` a degli Studi di Verona Case-Analysis for Rippling and Inductive Proof Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` a degli Studi di Verona](https://www.pdfsearch.io/img/543db97f216ab997d4e1b73002cb24c6.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2010-04-09 17:09:07
|
---|
12![IsaPlanner: A Prototype Proof Planner in Isabelle Lucas Dixon and Jacques Fleuriot ? IsaPlanner: A Prototype Proof Planner in Isabelle Lucas Dixon and Jacques Fleuriot ?](https://www.pdfsearch.io/img/17efaa7d0a33bc5b6bf4fb405dd86a83.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2010-03-10 05:42:39
|
---|
13![IsaPlanner: A Prototype Proof Planner in Isabelle Lucas Dixon and Jacques Fleuriot ? IsaPlanner: A Prototype Proof Planner in Isabelle Lucas Dixon and Jacques Fleuriot ?](https://www.pdfsearch.io/img/56b015a9bf990907455cbe7845c472ba.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2005-01-25 09:29:34
|
---|
14![AI4FM Rippling Experiment AI4FM Rippling Experiment](https://www.pdfsearch.io/img/784a2481bfdc8fed730d2c9e0b653468.jpg) | Add to Reading ListSource URL: www.ai4fm.orgLanguage: English - Date: 2013-10-30 13:20:44
|
---|
15![Representing “why’s” a proof language for IsaPlanner Gudmund Grov (Edinburgh) & Lucas Dixon (Google) Sponsored by: EPSRC funded AI4FM project, Bundy’s platform grants & Google Wednesday, 27 April 2011 Representing “why’s” a proof language for IsaPlanner Gudmund Grov (Edinburgh) & Lucas Dixon (Google) Sponsored by: EPSRC funded AI4FM project, Bundy’s platform grants & Google Wednesday, 27 April 2011](https://www.pdfsearch.io/img/258262f29705e6ac21883a6896195f52.jpg) | Add to Reading ListSource URL: www.ai4fm.orgLanguage: English - Date: 2013-10-30 13:20:15
|
---|
16![Some ideas on a proof technique language Gudmund Grov (Edinburgh) & Lucas Dixon (Google) Sponsored by: EPSRC funded AI4FM project, Bundy’s platform grants & Google 1 Some ideas on a proof technique language Gudmund Grov (Edinburgh) & Lucas Dixon (Google) Sponsored by: EPSRC funded AI4FM project, Bundy’s platform grants & Google 1](https://www.pdfsearch.io/img/f5222226c354b392ba5f0996fcfae8f1.jpg) | Add to Reading ListSource URL: www.ai4fm.orgLanguage: English - Date: 2013-10-30 13:20:44
|
---|
17![Logic / IsaPlanner / Mathematical proof / Proof theory / Nqthm / Automated theorem proving / Mathematics / Rippling Logic / IsaPlanner / Mathematical proof / Proof theory / Nqthm / Automated theorem proving / Mathematics / Rippling](/pdf-icon.png) | Add to Reading ListSource URL: www.ai4fm.orgLanguage: English - Date: 2013-10-30 13:20:29
|
---|
18![The Use of Rippling to Automate Event-B Invariant Preservation Proofs Yuhui Lin, Alan Bundy, and Gudmund Grov School of Informatics, University of Edinburgh, UK Abstract. Proof automation is a common bottleneck for indu The Use of Rippling to Automate Event-B Invariant Preservation Proofs Yuhui Lin, Alan Bundy, and Gudmund Grov School of Informatics, University of Edinburgh, UK Abstract. Proof automation is a common bottleneck for indu](https://www.pdfsearch.io/img/bda4a172f30118cb5ded86b07aa59b76.jpg) | Add to Reading ListSource URL: www.ai4fm.orgLanguage: English - Date: 2013-10-30 13:19:50
|
---|
19![Inferring the Proof Process Andrius Velykis School of Computing Science, Newcastle University, UK [removed] Abstract. This PhD project aims to investigate how enough information can be collected fr Inferring the Proof Process Andrius Velykis School of Computing Science, Newcastle University, UK [removed] Abstract. This PhD project aims to investigate how enough information can be collected fr](https://www.pdfsearch.io/img/d2a6e1c5fd5e2a00fc3c1fdef61169be.jpg) | Add to Reading ListSource URL: www.ai4fm.orgLanguage: English - Date: 2013-10-30 13:19:50
|
---|
20![Productive use of failure in top-down formal methods School of Informatics University of Edinburgh [removed] Yuhui Lin Productive use of failure in top-down formal methods School of Informatics University of Edinburgh [removed] Yuhui Lin](https://www.pdfsearch.io/img/968dcbaf5186dabc39e5c1fd18f7b638.jpg) | Add to Reading ListSource URL: www.ai4fm.orgLanguage: English - Date: 2013-10-30 13:19:51
|
---|