Login / Signup
Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis.
Zhenkai Zhang
Xenofon D. Koutsoukos
Published in:
LCTES (2015)
Keyphrases
</>
abstract interpretation
static analysis
model checking
dynamic analysis