Software_engineering

南京大学软件所团队围绕基础软件系统自动化形式证明开展系列研究，提出神经符号融合证明生成框架，并在seL4定理证明和分布式协议安全性证明中取得重要进展。

2026年6月3日