The Community for Technology Leaders
Secure Software Integration and Reliability Improvement Companion, IEEE International Conference on (2010)
Singapore, Singapore
June 9, 2010 to June 11, 2010
ISBN: 978-0-7695-4087-0
pp: 30-31
ABSTRACT
Extracting model from source code helps to ensure the implementation in accord with design. The properties of interest can be checked on implemented system via the extracted model. Previous approaches usually abstract the source at the level of intermediate language or assembly code. We are building a module to automatically extract CSP# model from C# source code and use PAT (Process Analysis Toolkit) to check the properties. As PAT support user-defined C# data type, We make the extracted model adapting to either program-implied or user-defined abstraction level.
INDEX TERMS
Model Checking, Source Code, Refinement
CITATION
Huiquan Zhu, "Model Checking C# Code: A Translation Approach", Secure Software Integration and Reliability Improvement Companion, IEEE International Conference on, vol. 00, no. , pp. 30-31, 2010, doi:10.1109/SSIRI-C.2010.17
88 ms
(Ver 3.3 (11022016))