A small experiment in Event-B rippling Gudmund Grov, Alan Bundy - IsaPlanner - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2013-10-30 13:19:50 Rippling IsaPlanner Mathematical proof Formal methods Theorem Logic Automated theorem proving Mathematics		A small experiment in Event-B rippling Gudmund Grov, Alan Bundy & Lucas Dixon [removed] [removed] Add to Reading List Source URL: www.ai4fm.org Download Document from Source Website File Size: 68,27 KB Share Document on Facebook

	Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` DocID: 1sOfC - View Document
	Best-First Rippling Moa Johansson, Alan Bundy, and Lucas Dixon School of Informatics, University of Edinburgh, Appleton Tower, Crichton St, Edinburgh EH8 9LE, UK {moa.johansson, a.bundy, lucas.dixon}@ed.ac.uk DocID: 1svvy - View Document
	Case-Analysis for Rippling and Inductive Proof Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` a degli Studi di Verona DocID: 1rB9z - View Document
	Go with the Flow Nancy L Harry It was a sunny day, but very breezy. I sat on an old wooden bench beside the lake in Mt. Dora. The struggling birds flying above the rippling water fascinated me. The birds flying against t DocID: 1rz9C - View Document
	TIP: Tons of Inductive Problems Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,jomoa,danr,nicsma}@chalmers.se Ab DocID: 1qZUw - View Document