Translating C programs to MSVL programs
share
C language is one of the most popular languages in system programming and applications written in C have been widely used by different industries. In order to improve the safety and reliability of these applications, a runtime verification tool UMC4MSVL based on Modeling, Simulation and Verification Language (MSVL) is employed. To do so, C programs have to be translate into MSVL programs. This paper presents an algorithm to achieve the translation from a C program to an equivalent MSVL program in one-to-one manner. The proposed algorithm has been implemented in a tool called C2M. A case study is given to show how the approach works.
READ FULL TEXT