Static analysis of concurrent programs by adapted vector clock

@inproceedings{Zakeryfar2013StaticAO,
  title={Static analysis of concurrent programs by adapted vector clock},
  author={Maryam Zakeryfar and Peter Grogono},
  booktitle={C3S2E},
  year={2013}
}
In this paper, we present our methodology for reasoning about deterministic concurrent synchronous programs by adapting Vector Clock algorithm and Abstract Interpretation theory. We use these approaches to build a Static Analyzer for Erasmus programming language. Erasmus Static Analyzer detects communication errors including circular wait that cause… CONTINUE READING