Assembly program verification for multiprocessors with relaxed memory model using SMT solver.

Pattaravut Maleehuan Yuki Chiba Toshiaki Aoki

Published in: TASE (2017)

Keyphrases

mathematical model
computational model
probabilistic model
high level
management system
formal model
social networks
decision trees
image sequences
objective function
probability distribution
parameter estimation
statistical model
experimental data