loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05)
Synthesis of C++ Software from Verifiable CSPm Specifications
Greenbelt, Maryland
April 04-April 07
ISBN: 0-7695-2308-0
ASCII Text
x 
 
Stephen Doxsee, W. B. Gardner, "Synthesis of C++ Software from Verifiable CSPm Specifications," Engineering of Computer-Based Systems, IEEE International Conference on the, pp. 193-201, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/ECBS.2005.64,
author = {Stephen Doxsee and W. B. Gardner},
title = {Synthesis of C++ Software from Verifiable CSPm Specifications},
journal ={Engineering of Computer-Based Systems, IEEE International Conference on the},
volume = {0},
year = {2005},
isbn = {0-7695-2308-0},
pages = {193-201},
doi = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2005.64},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Engineering of Computer-Based Systems, IEEE International Conference on the
TI - Synthesis of C++ Software from Verifiable CSPm Specifications
SN - 0-7695-2308-0
SP193
EP201
A1 - Stephen Doxsee,
A1 - W. B. Gardner,
PY - 2005
KW - null
VL - 0
JA - Engineering of Computer-Based Systems, IEEE International Conference on the
ER -
 
Stephen Doxsee, University of Guelph
W. B. Gardner, University of Guelph
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.
Citation:
Stephen Doxsee, W. B. Gardner, "Synthesis of C++ Software from Verifiable CSPm Specifications," ecbs, pp.193-201, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.