跳转到内容
learning

learning

我正在学的东西，按话题整理。练习答案默认折叠，进度只存在你的浏览器里。

TLA+ 与形式化验证

从前端场景学 TLA+，再深入 pstack 的形式化验证流程。

  1. 1. 为什么前端也需要这个
  2. 2. 准备工具
  3. 3. 状态
  4. 4. 动作
  5. 5. 模型检查：TLC 把每一种顺序都走一遍
  6. 6. 不变式：绝不能发生的事
  7. 7. 活性：终究要发生的事
  8. 8. 公平：WF 和 SF
  9. 9. SYMMETRY 为什么会骗过活性检查
  10. 10. VIEW 为什么也会
  11. 11. 回到 pstack：statechart 技能和 PickWorker
  12. 12. 术语表
  13. 13. 一手资料
  14. pstack × TLA+ 深度学习包

我的进度

进度只存在这个浏览器里（localStorage）。换浏览器或清缓存前，先导出。