1. ScholarBank@NUS
  2. 1. Staff
  3. Staff Publications
Please use this identifier to cite or link to this item: https://doi.org/10.1109/ICSTW.2013.10
DC FieldValue
dc.titleGenerating C# programs from CSP# models
dc.contributor.authorZhu, H.
dc.contributor.authorDong, J.S.
dc.contributor.authorWadhwa, B.
dc.contributor.authorLin, S.-W.
dc.date.accessioned2014-07-04T03:13:06Z
dc.date.available2014-07-04T03:13:06Z
dc.date.issued2013
dc.identifier.citationZhu, H., Dong, J.S., Wadhwa, B., Lin, S.-W. (2013). Generating C# programs from CSP# models. Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013 : 21-26. ScholarBank@NUS Repository. https://doi.org/10.1109/ICSTW.2013.10
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/78160
dc.description.abstractDue to the inherent complexity of the concurrent behavior, it is difficult to ensure the program satisfies the concurrent properties. CSP#, as a formal language, is used to model the program and the properties can be verified on the CSP# model. It is desirable to have a transformation technique from the CSP# model to the implementation. We implement the CSP# operators in a C# library 'PAT. Runtime'. Based on it, a code generation tool is developed in PAT framework to transform CSP# models to multi-threaded C# programs. We prove that the generated C# program and original CSP# model are equivalent on the traces semantics. The validated properties of the CSP# model preserve in the generated program. © 2013 IEEE.
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1109/ICSTW.2013.10
dc.sourceScopus
dc.subjectCSP#
dc.subjectModel Checking
dc.subjectMulti-threaded Programming
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.contributor.departmentTEMASEK LABORATORIES
dc.description.doi10.1109/ICSTW.2013.10
dc.description.sourcetitleProceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013
dc.description.page21-26
dc.identifier.isiut000332185600006
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.