Please use this identifier to cite or link to this item:
https://doi.org/10.1109/ICSTW.2013.10
Title: | Generating C# programs from CSP# models | Authors: | Zhu, H. Dong, J.S. Wadhwa, B. Lin, S.-W. |
Keywords: | CSP# Model Checking Multi-threaded Programming |
Issue Date: | 2013 | Citation: | Zhu, 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 | Abstract: | Due 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. | Source Title: | Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013 | URI: | http://scholarbank.nus.edu.sg/handle/10635/78160 | DOI: | 10.1109/ICSTW.2013.10 |
Appears in Collections: | Staff Publications |
Show full item record
Files in This Item:
There are no files associated with this item.
WEB OF SCIENCETM
Citations
1
checked on Apr 12, 2021
Page view(s)
120
checked on Apr 12, 2021
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.