DEVICE FOR FORMAL VERIFICATION OF AUTOMOTIVE CONTROL SOFTWARE AND METHODS RECORDING MEDIUM FOR PERFORMING THE METHOD

摘要

The present invention discloses an apparatus and method for formal verification of automobile control software, and a recording medium therefor. According to an aspect of the present invention, there is provided an apparatus for formal verification of automotive control software, comprising: a control flow graph converter for converting automobile control software written in an unstructured language into a control flow graph (CFG); A state machine conversion unit for converting the control flow graph (CFG) into a state machine through code slicing; And a fixed language conversion unit for converting the state machine into a fixed language.