Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
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