14 lines
440 B
Markdown
14 lines
440 B
Markdown
# You Don’t Know Jack About Formal Verification
|
||
|
||
- **期号**: SRE Weekly Issue #524（2026-07-05）
|
||
- **作者**: Fernanda Graciolli and Nada Amin — ACM Queue
|
||
- **链接**: https://queue.acm.org/detail.cfm?ref=rss&id=3819084
|
||
|
||
## 简介
|
||
|
||
A good introduction to formal verification and how LLMs can help. Formal verification may be more practical now that LLMs can help us write the proofs.
|
||
|
||
## 正文
|
||
|
||
> ⚠️ 抓取失败：HTTP 403
|