The MEB and CEB Static Analysis for CSP Specifications

  • Authors:

  • Michael Leuschel;Marisa Llorens;Javier Oliver;Josep Silva;Salvador Tamarit

  • Affiliations:

  • Institut für Informatik, Heinrich-Heine-Universität Düsseldorf, Düsseldorf, Germany D-40225;Technical University of Valencia, Valencia, Spain E-46022;Technical University of Valencia, Valencia, Spain E-46022;Technical University of Valencia, Valencia, Spain E-46022;Technical University of Valencia, Valencia, Spain E-46022

  • Venue:
  • Logic-Based Program Synthesis and Transformation
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

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 by taking into account the context in which processes are called and, thus, makes the slicing process more precise.