#formal-verification

2 篇文章 · 全部标签

📡 相关事件

2026年8月25日

seL4 在 AArch64 集齐三张安全证明，内核验收标准从测试升到了数学

formal verificationsecuritykernelseL4

2026年7月22日

AI找反例的速度，让数学家慌了

aimathleanformal-verification