CSP++: An Open Source Tool for Building Concurrent Applications from CSP Specifications
William B. Gardner, J. Moore-Oliva, J. Carter, Alicia Gumtie, Yuriy Solovyov · 2009
The CSP++ object-oriented application framework, which implements CSP execution semantics based on Pth multithreading, is released as open source in C++. The new “micro” version, more suitable for embedded platforms, can be built using GNU autotools, and comes with a suite of regression tests. An Eclipse plug-in is available for application developers. It features a syntax highlighter for CSPm specifications, and is integrated with the FDR2, ProBE, and Checker tools from Formal Systems. The design flow from CSPm input, through formal verification, translation with cspt, integration of user-coded functions, execution with the CSP++ framework, and trace refinement checking will be demonstrated.