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

First Page	Meta Content
	A small experiment in Event-B rippling Gudmund Grov, Alan Bundy & Lucas Dixon [removed] [removed] Add to Reading List Document Date: 2013-10-30 13:19:50 Open Document File Size: 68,27 KB Share Result on Facebook Company Cambridge University Press / / Country Ireland / / / Event Product Issues / / IndustryTerm search space / proof search / / Organization Cambridge University / / Person Alan Bundy / Lucas Dixon / Jaques Fleuriot / / Position Prototype Proof Planner / / Product specifications / hardware verification / / PublishedMedium Theoretical Computer Science / / Technology artificial intelligence / / SocialTag 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