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.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.