A Verification Framework for Assembly Programs Under Relaxed Memory Model Using SMT Solver.

Pattaravut Maleehuan Yuki Chiba Toshiaki Aoki

Published in: IEICE Trans. Inf. Syst. (2018)

Keyphrases

computational model
probabilistic model
modeling framework
formal model
experimental data
unified model

mathematical model
conceptual framework
parameter estimation
data sets
conceptual model
bayesian framework

generic model
neural network
main contribution
theoretical framework
probability distribution

theoretical foundation
hidden markov models
prior knowledge
high level
mathematical framework