Graph Generation to Statically Represent CSP Processes

DOI10.1007/978-3-642-20551-4_4zbMath1326.68101OpenAlexW1602327999MaRDI QIDQ3003484

Josep Silva, Marisa Llorens, Salvador Tamarit, Javier Oliver

Publication date: 27 May 2011

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

Full work available at URL: http://hdl.handle.net/10251/36090

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• ProB

Cites Work

• Unnamed Item
• The MEB and CEB Static Analysis for CSP Specifications
• FM 2005: Formal Methods

This page was built for publication: Graph Generation to Statically Represent CSP Processes