Formal Modelling, Testing and Verification of HSA Memory Models using Event-B.

Ashish Darbari Iain Singleton Michael J. Butler John Colley

Published in: CoRR (2016)

Keyphrases

probabilistic model
model construction
formal methods
statistical models
prior knowledge
event detection
test generation
database
neural network
case study
memory requirements
computational models
memory space