内核 Formal Verification Might be Built-in Linux Kernel in the Future, Message from Linux Foundation By 望天海狸2017 年 6 月 27 日