PG.CENTER 连接 PostgreSQL 文档、百科与生态知识。由 Pigsty 维护。

SIGOPS 讨论 LLM 能否为真实系统写 TLA+ 规约 RSS

发布于 2026-09-10T10:59:40.373271Z

形式化验证

原始来源 ↗

来源记录

center.info_item · d94f56f9719a261a · 2026-10-03T04:08:35.169032Z
pgweb.info_item · d94f56f9719a261a · 2026-10-03T04:08:55.967155Z