2 citations · 3 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2016★ 2 cited
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.LO2009
Industrial-Strength Formally Certified SAT Solving
Ashish Darbari, Bernd Fischer, Joao Marques-Silva
Boolean Satisfiability (SAT) solvers are now routinely used in the verification of large industrial problems. However, their application in safety-critical domains such as the rail…