Yuting Yang, Rui Wang, Youchen Wang, Xu Miao, Bing Liu, Shan Jiang. Simulink Model Static Analysis Results based on Abstract Interpretation. In 9th International Conference on Dependable Systems and Their Applications, DSA 2022, Wulumuqi, China, August 4-5, 2022. pages 605-614, IEEE, 2022. [doi]
Abstract is missing.