可靠计算系统设计分析与验证课程笔记 4，内容对应 Sessions 6–7：Error Detection，讨论看门狗、心跳、数据审计、控制流检查、应用感知断言，以及 RMK、SHD、AHD 和 Count&Check