@xiao116
xiao116 暂无简介
软件形式化验证（Software formal verification）
https://blog.lizzie.io/linux-containers-in-500-loc.html#org36fcb0f https://arthurchiao.art/blog/linux-container-and-runtime-zh/
危险分析与危险库（Hazard Analysis And Hazard Log）
