The MEB and CEB Static Analysis for CSP Specifications [chapter]

Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
2009 Lecture Notes in Computer Science  
This work presents a static analysis technique based on program slicing for CSP specifications. Given a particular event in a CSP specification, our technique allows us to know what parts of the specification must necessarily be executed before this event, and what parts of the specification could be executed before it in some execution. Our technique is based on a new data structure which extends the Synchronized Control Flow Graph (SCFG). We show that this new data structure improves the SCFG
more » ... by taking into account the context in which processes are called and, thus, makes the slicing process more precise.
doi:10.1007/978-3-642-00515-2_8 fatcat:tifzszb7c5aq5fewjtgt4yhi2u