The Use of Rippling to Automate EventB Invariant Preservation Proofs Yuhui Lin, Alan Bundy - Alan Bundy - Document - PDFSEARCH.IO

First Page	Meta Content
	The Use of Rippling to Automate EventB Invariant Preservation Proofs Yuhui Lin, Alan Bundy& Gudmund Grov School of Informatics University of Edinburgh www.inf.ed.ac.uk Add to Reading List Document Date: 2013-10-30 13:20:35 Open Document File Size: 296,03 KB Share Result on Facebook Facility Informatics University of Edinburgh www.inf.ed.ac.uk Background / / Organization Alan Bundy& Gudmund Grov School / University of Edinburgh / / Person Alan Bundy / / URL www.inf.ed.ac.uk / / SocialTag Mathematics Mathematical proof Knowledge Automated theorem proving Heuristics Rippling

The Use of Rippling to Automate EventB Invariant Preservation Proofs Yuhui Lin, Alan Bundy& Gudmund Grov School of Informatics University of Edinburgh www.inf.ed.ac.ukAdd to Reading List