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.

WEB OF SCIENCETM
Citations

1
checked on May 12, 2022

Page view(s)

158
checked on May 12, 2022

Google ScholarTM

Check

Altmetric


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