内核 Formal Verification Might be Built-in Linux Kernel in the Future, Message from Linux Foundation By 編程浪子2017 年 6 月 22 日