Using Automated Theory Formation to Discover Invariants of Event-B models Maria Teresa Llano1 Andrew Ireland1 Alison Pease2 Gudmund Grov2 1 School

First Page		Document Content
Date: 2013-10-30 13:20:15 The Open Championship		Using Automated Theory Formation to Discover Invariants of Event-B models Maria Teresa Llano1 Andrew Ireland1 Alison Pease2 Gudmund Grov2 1 School Add to Reading List Source URL: www.ai4fm.org Download Document from Source Website File Size: 2,09 MB Share Document on Facebook