9 citations · 17 across the 8 of their papers we have counts for
8 papers
Incremental Database Design using UML-B and Event-B
Ahmed Al-Brashdi, Michael Butler, Abdolbaghi Rezazadeh
Correct operation of many critical systems is dependent on the data consistency and integrity properties of underlying databases. Therefore, a verifiable and rigorous database desi…
Formal Modelling, Testing and Verification of HSA Memory Models using Event-B
Ashish Darbari, Iain Singleton, Michael Butler +1
The HSA Foundation has produced the HSA Platform System Architecture Specification that goes a long way towards addressing the need for a clear and consistent method for specifying…
Modelling and Refinement in CODA
Michael Butler, John Colley, Andrew Edmunds +4
This paper provides an overview of the CODA framework for modelling and refinement of component-based embedded systems. CODA is an extension of Event-B and UML-B and is supported b…
Building on the DEPLOY Legacy: Code Generation and Simulation
Andrew Edmunds, Michael Butler, John Colley
The RODIN, and DEPLOY projects laid solid foundations for further theoretical, and practical (methodological and tooling) advances with Event-B. Our current interest is the co-simu…
Rewriting and Well-Definedness within a Proof System
Issam Maamria, Michael Butler
Term rewriting has a significant presence in various areas, not least in automated theorem proving where it is used as a proof technique. Many theorem provers employ specialised pr…
Deriving Relationship Between Semantic Models - An Approach for cCSP
Shamim H. Ripon, Michael Butler
Formal semantics offers a complete and rigorous definition of a language. It is important to define different semantic models for a language and different models serve different pu…