Login / Signup

Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization.

Hao TangDi WangYingfei XiongLingming ZhangXiaoyin WangLu Zhang
Published in: ESOP (2017)
Keyphrases
  • reachability analysis
  • real time
  • model checking
  • markov decision processes