2025年6月24日
使用Lean4进行形式化建模（以Java线程池为例）
摘要： 前言 前段时间，我们处理了一则Java线程池配置不当导致的线上问题（参见 好端端的线程池，怎么就卡死了？），本文将以此为案例，使用形式化语言，从数学角度进行证明。 形式化证明简介 首先需要搞清楚一个概念，形式化证明，也是通过编程的形式进行的，只不过这段代码使用形式化编程语言进行表达，从数理层面来看更 阅读全文
posted @ 2025-06-24 20:20 xiaoxi666 阅读(278) 评论(0) 推荐(0)
TOP