Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations.

Xavier Leroy Sandrine Blazy

Published in: J. Autom. Reason. (2008)

Keyphrases

probabilistic model
computational model
mathematical model
experimental data
formal model
formal verification
high level
management system
statistical model
conceptual model
neural network
objective function
artificial neural networks
model checking