Back to Results
First PageMeta Content
Rippling / IsaPlanner / Theorem / Unification / Mathematical proof / Automated theorem proving / Logic / Mathematics


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
Add to Reading List

Document Date: 2013-10-30 13:19:50

Open Document

File Size: 101,56 KB

Share Result on Facebook

Company

Andrew Ireland / Cambridge University Press / /

Country

United Kingdom / Ireland / /

Facility

Newcastle University / University of Edinburgh / /

IndustryTerm

final product / /

Organization

Cambridge University / School of Computing Science / Gudmund Grov School of Informatics / Newcastle University / University of Edinburgh / /

Person

Omar Montano Rivas / Alan Bundy / /

/

Position

Isabelle translator / Butler / critic / guard / /

Technology

dom / following algorithm / /

URL

http /

SocialTag