Posted in 其他Go控制结构形式化验证入门：6步用TLA+证明你的select-case逻辑无死锁、无活锁、无饥饿 第一章：Go并发控制结构与形式化 … Go控制结构形式化验证入门：6步用TLA+证明你的select-case逻辑无死锁、无活锁、无饥饿Read more by 云原生小白|2026年4月26日|Go语言控制结构, TLA+形式化验证, select-case死锁检测, 并发逻辑验证, 无饥饿无活锁证明
Posted in Go语言基础和工具链【Go调度器可信度验证】：基于形式化验证工具TLA+建模的GMP状态机，已发现runtime 1.20中2处竞态边界未覆盖 第一章：Go调度器可信度验证的背 … 【Go调度器可信度验证】：基于形式化验证工具TLA+建模的GMP状态机，已发现runtime 1.20中2处竞态边界未覆盖Read more by 代码流浪者|2026年3月14日|sync.Once竞态条件, GMP模型解析, Go调度器内幕, Go动态加载, 1.20.13修复, TLA+形式化验证, runtime.iface结构体
