Industrial Strength Formal Using Abstractions. - Ashish Darbari; Iain Singleton (CoRR, 2016)

Formal Modelling, Testing and Verification of HSA Memory Models using Event-B. - Ashish Darbari; Iain Singleton; Michael J. Butler; John Colley (CoRR, 2016)