Generating C# programs from CSP# models

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

There are no files associated with this item.

Check