第一章：Go语言数学迭代器的理论 … Go语言实现可证明收敛迭代器（Coq形式化验证通过）：首个通过ISO/IEC 15408 EAL5+认证的数学模块Read more
Coq形式化验证
Golang回溯算法可证明正确性实践：使用Coq形式化验证你的回溯逻辑
第一章：Golang回溯算法的基 … Golang回溯算法可证明正确性实践：使用Coq形式化验证你的回溯逻辑Read more
学术界沉默的转向：Go在计算物理、生物信息、形式化验证三大领域的11个突破性应用案例
第一章：Go语言可以搞学术吗 G … 学术界沉默的转向：Go在计算物理、生物信息、形式化验证三大领域的11个突破性应用案例Read more
Go语言操控GPIO真的安全吗？——基于形式化验证（TLA+）的并发外设访问模型首次公开
第一章：Go语言操控GPIO真的 … Go语言操控GPIO真的安全吗？——基于形式化验证（TLA+）的并发外设访问模型首次公开Read more
全球TOP 10区块链项目中，7个用Go实现共识层——但只有这2个通过了形式化验证（附Coq证明代码片段）
第一章：Go语言在区块链共识层的 … 全球TOP 10区块链项目中，7个用Go实现共识层——但只有这2个通过了形式化验证（附Coq证明代码片段）Read more
Go编写Move Prover插件实战：让形式化验证从“博士课题”变成每日CI环节
第一章：Go编写Move Pro … Go编写Move Prover插件实战：让形式化验证从“博士课题”变成每日CI环节Read more
Go泛型×Move Spec语言协同验证（工业级形式化验证工作流首次开源披露）
第一章：Go泛型×Move Sp … Go泛型×Move Spec语言协同验证（工业级形式化验证工作流首次开源披露）Read more