一个稀疏平常的日子，正适宜漫步在重峦叠嶂的虚拟世界。在这罗网密布的森林，你偶然发现了一座不起眼的花园藏在荫翳中。看起来主人此刻身在别处，不常打理这个草木蔓生的地方，因为此处无疑被建筑地毫无章法。只是细看之下，倒也能发觉一丝整饬的痕迹。
花园没有栅栏，也没有门扉，似乎在邀请过路人随意观览。一张石桌上正随意地摊开着些书卷，散落其中的是些潦草写就的文章。近处则是一些不久前修剪过的花卉，零落着等待最终的开花结果。越过花园，脚下的小径继续延伸，通往比邻而未知的远方。
| 修剪时间 | 链接 |
|---|---|
| September 11, 2025 | Finding real bugs in big programs with incorrectness logic |
| September 11, 2025 | 母舰 |
| September 11, 2025 | Incorrectness Separation Logic |
| September 11, 2025 | 友链 |
| September 10, 2025 | 非终止性分析 |
| September 10, 2025 | 差分 |
| September 10, 2025 | 单调队列 |
| September 10, 2025 | 单调栈 |
| September 10, 2025 | prove nontermination 08 |
| September 10, 2025 | nontermination via safety |
| September 10, 2025 | nontermination overapproximation |
| September 10, 2025 | live abstraction |
| September 10, 2025 | alternation termination |
| September 10, 2025 | Proving Termination Through Conditional Termination |
| September 10, 2025 | Proving Non-termination Using Max-SMT |
| September 10, 2025 | FliT - A Library for Simple and Efficient Persistent Algorithms |
| September 10, 2025 | Disproving termination with overapproximation |
| September 10, 2025 | weakest liberal precondition |
| September 10, 2025 | Incorrectness Logic |
| September 10, 2025 | Data-flow Analysis |