text: abstract model with
  n processes and checks its functional equivalence with a sequential implementation by executing the
  model of the application. parallel data-flow analysis is a static analysis technique applied in [2]. the
  work focuses on send-receive matching in mpi source code, which helps identify message leaks and
  communication mismatch, by constructing a parallel control-flow graph by simple symbolic analysis
  n. yoshida, w. vanderbauwhede (eds.): programming language
  approaches to concurrency- and communication-centric
  software 2013 (places’13)
  eptcs 137, 2013, pp. 103–113, doi:10.4204/eptcs.137.9