An algorithm to generate the context-sensitive synchronized control flow graph

@inproceedings{Llorens2010AnAT,
  title={An algorithm to generate the context-sensitive synchronized control flow graph},
  author={Marisa Llorens and Javier Oliver and Josep Silva and Salvador Tamarit},
  booktitle={SAC},
  year={2010}
}
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usually very high, and sometimes prohibitive, due to the complexity imposed by the non-deterministic execution order of processes and to the restrictions imposed on this order by synchronizations. To overcome this problem, there has been a recent proposal that allows to statically simplify a specification before the… CONTINUE READING

Figures and Topics from this paper.

Similar Papers

Loading similar papers…