Sciweavers

Share
ECBS
2005
IEEE

Synthesis of C++ Software from Verifiable CSPm Specifications

10 years 4 months ago
Synthesis of C++ Software from Verifiable CSPm Specifications
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We describe the tool's new capability of accepting input in CSPm syntax, the same dialect processed by the commercial verification tool, FDR2. Using a new ATM case study in CSPm, we give samples of generated code, and illustrate the use of “selective formalism” to code and verify some system functionality in CSP, and supply other functionality via user-coded C++ functions linked to events in the CSP specifications.
Stephen Doxsee, William B. Gardner
Added 24 Jun 2010
Updated 24 Jun 2010
Type Conference
Year 2005
Where ECBS
Authors Stephen Doxsee, William B. Gardner
Comments (0)
books