The MEB and CEB Static Analysis for CSP Specifications

DOI10.1007/978-3-642-00515-2_8zbMath1185.68207OpenAlexW1484709164WikidataQ57689971 ScholiaQ57689971MaRDI QIDQ3617433

Marisa Llorens, Josep Silva, Salvador Tamarit, Michael Leuschel, Javier Oliver

Publication date: 24 March 2009

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00515-2_8

zbMATH Keywords

program slicingCSPconcurrent programming

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items (2)

Static slicing of explicitly synchronized languages ⋮ Graph Generation to Statically Represent CSP Processes

Uses Software

• ProB

Cites Work

• Program Slicing
• The program dependence graph and its use in optimization
• FM 2005: Formal Methods

This page was built for publication: The MEB and CEB Static Analysis for CSP Specifications