9 citations · 17 across the 8 of their papers we have counts for
4 papers · 1 filter
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…
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…
Formalizing cCSP Synchronous Semantics in PVS
Shamim H. Ripon, Michael Butler
Compensating CSP (cCSP) is a language defined to model long running business transactions within the framework of standard CSP process algebra. In earlier work, we have defined bot…