第一章：内存安全≠系统安全：用形 … 内存安全≠系统安全：用形式化验证工具Coq比对C与Go内存模型——揭示Go unsafe.Pointer绕过类型系统的3类未定义行为Read more
Coq形式化验证
Go语言写银行系统会丢账吗？用形式化验证工具TLC验证分布式转账一致性（附TLA+模型与测试覆盖率报告）
第一章：银行有用go语言吗 现代 … Go语言写银行系统会丢账吗？用形式化验证工具TLC验证分布式转账一致性（附TLA+模型与测试覆盖率报告）Read more
Go语言如何满足讯飞车规级语音系统ASIL-B要求？看其形式化验证+WCET分析双轨流程
第一章：科大讯飞Go语言车规级语 … Go语言如何满足讯飞车规级语音系统ASIL-B要求？看其形式化验证+WCET分析双轨流程Read more
【Go编写可审计智能合约黄金标准】：FINRA合规级合约模板+形式化验证工具链部署
第一章：Go编写可审计智能合约黄 … 【Go编写可审计智能合约黄金标准】：FINRA合规级合约模板+形式化验证工具链部署Read more
独家首发：Go桶结构形式化验证报告（Coq证明桶分裂满足线性一致性），中科院软件所2024最新成果
第一章：Go语言桶结构的核心设计 … 独家首发：Go桶结构形式化验证报告（Coq证明桶分裂满足线性一致性），中科院软件所2024最新成果Read more
Go斐波那契数列的权威验证：用Coq形式化证明迭代算法正确性，再生成可验证Go代码
第一章：Go斐波那契数列的工程实 … Go斐波那契数列的权威验证：用Coq形式化证明迭代算法正确性，再生成可验证Go代码Read more