The MEB and CEB Static Analysis for CSP Specifications

DOI10.1007/978-3-642-00515-2_8MaRDI QIDQ3617433zbMATH OpenOpenAlexWikidataFDO

Authors Michael Leuschel, Marisa Llorens, Josep Silva, Salvador Tamarit, J. 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

concurrent programmingCSPprogram slicing

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3890704
• Static slicing of explicitly synchronized languages
• Graph generation to statically represent CSP processes
• Slicing Concurrent Real-Time System Specifications for Verification
• Static and dynamic slicing of constraint logic programs

Cites work

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

Cited in

(3)

• Graph generation to statically represent CSP processes
• scientific article; zbMATH DE number 3890704 (Why is no real title available?)
• Static slicing of explicitly synchronized languages

Describes a project that uses

Uses Software

• ProB

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3617433)