13. 一手资料

以下链接都在 2026-10-30 打开确认过（HTTP 200）。一条论坛引用（discuss.tlapl.us 的 msg02564）当天超时打不开，已去掉。

• Specifying Systems（Lamport 的书，免费 PDF）：lamport.azurewebsites.net
• The TLA+ Video Course（Lamport 视频课）：lamport.azurewebsites.net
• Learn TLA+（Hillel Wayne 的入门教程）：learntla.com
• Learn TLA+：时序逻辑与公平（WF/SF）：learntla.com
• TLA+ 主页：lamport.azurewebsites.net
• TLA+ 工具页：lamport.azurewebsites.net
• tla2tools.jar 下载（GitHub Releases）：github.com
• TLC 命令行参数说明（含 -lncheck）：github.com
• TLC 配置文件说明（SYMMETRY 与活性）：docs.tlapl.us
• pstack statechart 技能源码：github.com

上一份学习资料（FAQ、答辩提纲、自测）在这里，读完本教程再回去看会容易很多：pstack × TLA+ 深度学习包（原 Canvas：https://cursor.com/canvas/store-28e5c2c3-41f3-4368-bb42-90883ac3737f/93c15928-385d-412f-91ea-5e2c4d22b893）