About CSP++

CSP++ is a software synthesis tool for making specifications written in CSPm executable via C++. The cspt translator converts a CSPm file to C++ source code that is compiled with the classes of the CSP++ object-oriented application framework.

It is intended that CSPm be used to create the formally-verifiable control backbone of a system, with CSPm events used to invoke user-coded functions written in C++. This mixture of formal notation and conventional programming language is called "selective formalism." CSPm specifications can be verified using the tools from Formal Systems (Europe) Ltd.

The run-time framework is based on GNU Pth portable threads. Currently, CSP++ is supplied in binary (cspt) and object library (CSP++) form for systems on which it has been successfully installed.

CSP++ is a project of the Modeling and Design Automation Group in the Department of Computing and Information Science under the direction of Dr. William Gardner.