Effective Abstractions for Verification under Relaxed Memory Models.

Andrei Marian Dan Yuri Meshman Martin T. Vechev Eran Yahav

Published in: VMCAI (2015)

Keyphrases

statistical models
complex systems
machine learning
high quality
mathematical models
real time
high level
computationally efficient
memory space
database
search algorithm
statistical model
experimental data
face verification