2 papers
cs.SE2016
Industrial Strength Formal Using Abstractions
Ashish Darbari, Iain Singleton
Verification of concurrent systems with thousands of multiple threads and transactions is a challenging problem not just for simulation or emulation but also for formal. To get des…
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…