TY  - RPRT
TI  - Automatically Building Machine-Checked Assurance Cases from C Codebases to Requirements
AU  - Haokun Li
AU  - Zhongyi Wang
AU  - Guanyan Li
AU  - Xiao Yi
AU  - Shengchao Qin
AU  - Jianwei Yin
AU  - Mingshuai Chen
PY  - 2026
UR  - https://arxiv.org/abs/2609.40119
ID  - 2609.40119
ER  -