Two-Phase Dynamic Analysis of Message-Passing Go Programs based on Vector Clocks

Martin Sulzmann, Kai Stadtmueller

Understanding the run-time behavior of concurrent programs is a challenging task. A popular approach is to establish a happens- before relation via vector clocks. Thus, we can iden…