Login / Signup

Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation.

Thomas Martin GawlitzaPeter LammichMarkus Müller-OlmHelmut SeidlAlexander Wenner
Published in: VMCAI (2011)
Keyphrases
  • reachability analysis
  • concurrent programs
  • reinforcement learning
  • linear programming
  • sufficient conditions
  • process model