Posted in 其他Go语言实现可证明收敛迭代器（Coq形式化验证通过）：首个通过ISO/IEC 15408 EAL5+认证的数学模块 第一章：Go语言数学迭代器的理论 … Go语言实现可证明收敛迭代器（Coq形式化验证通过）：首个通过ISO/IEC 15408 EAL5+认证的数学模块Read more by Go语言笔记|2026年3月15日|EAL5+安全等级, 迭代器收敛性, 数学模块认证, Go语言编程实践, ISO/IEC, Coq形式化验证, 15408
Posted in 其他Go语言单片机开发真相：不是“能不能”，而是“在哪种约束下能”——基于ISO/IEC 15408 EAL5+认证要求的适配矩阵 第一章：Go语言可以搞单片机吗 … Go语言单片机开发真相：不是“能不能”，而是“在哪种约束下能”——基于ISO/IEC 15408 EAL5+认证要求的适配矩阵Read more by 写代码的猫|2026年3月1日|嵌入式Go编程, Go语言单片机开发, ISO/IEC, 15408认证, EAL5+安全等级, 实时系统适配
