A formal Analysis method of C language Real-Time system Operation based on TMSVL
Bigeng Zheng, Xinrui Chen · Journal of Physics Conference Series · 2019
Abstract The formal method requires a certain mathematical foundation, and the formal method can accurately standardize and verify the software system, which greatly improves the security and reliability of the software. This paper further analyzes the basic things of C language. We also learn to analyze the known and unknown topics, learn to consider problems together, and gradually expand our thinking. In particular, when confronted with major problems, the breakdown into many small problems to solve. This paper presents a formal Analysis method of C language Real-Time system Operation based on TMSVL.