Thread-Modular Static Analysis for Relaxed Memory Models.

Markus Kusano Chao Wang

Published in: CoRR (2017)

Keyphrases

static analysis
probabilistic model
dynamic analysis
source code
case study