一种针对航天软件浮点缺陷的静态分析方法

Email Alert　 RSS

一种针对航天软件浮点缺陷的静态分析方法

马冬雨, 王子豪, 陈赓, 宋子溦

A static analysis method for floating-point defects in aerospace software

MA Dongyu, WANG Zihao, CHEN Geng, SONG Ziwei

航天控制 . 2025, (6): 60 -66 .