Login / Signup

Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis.

Zhenkai ZhangXenofon D. Koutsoukos
Published in: LCTES (2015)
Keyphrases
  • abstract interpretation
  • static analysis
  • model checking
  • dynamic analysis