1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2016
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…
cs.SE2012★ 1 cited
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…