A Precise Memory Model for Low-Level Bounded Model Checking.

Carsten Sinz Stephan Falke Florian Merz

Published in: SSV (2010)

Keyphrases

low level
high level
mathematical model
probabilistic model
prior knowledge
probability distribution
experimental data
reinforcement learning
higher level
parameter estimation
statistical model