An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation.

Juneyoung Lee Dongjoo Kim Chung-Kil Hur Nuno P. Lopes

Published in: CAV (2) (2021)

Keyphrases

mathematical model
multiscale
data sets
genetic algorithm
similarity measure
computational model
experimental data
neural network
information retrieval
high level
parameter estimation
network structure
prediction model