9 citations · 12 across the 3 of their papers we have counts for
3 papers
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…