A Verification Framework for Assembly Programs Under Relaxed Memory Model Using SMT Solver.
Pattaravut MaleehuanYuki ChibaToshiaki AokiPublished 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