Please use this identifier to cite or link to this item:
|Title:||Generating C# programs from CSP# models||Authors:||Zhu, H.
|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.
checked on Dec 1, 2019
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.