Login / Signup
A Formal C Memory Model for Separation Logic.
Robbert Krebbers
Published in:
CoRR (2015)
Keyphrases
</>
formal model
probabilistic model
probability distribution
statistical model
high level
prior knowledge
computational model
experimental data
information retrieval
conceptual model
neural network
parameter estimation
mathematical model