Static analysis of concurrent programs by adapted vector clock
Maryam Zakeryfar, Peter D. Grogono · 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 deadlock in deterministic programs with finite number of processes.