TLA+

temporal logic of actions

Guide

• https://muratbuffalo.blogspot.com/2020/06/learning-about-distributed-systems.html
• https://medium.com/@polyglot_factotum/how-i-am-learning-distributed-systems-7eb69b4b51bd

Milestones

TLA+

• text

  • Learn TLA+
  • CSE128 concurrency <-- on going
  • Introduction to Formal Pragmatic Modeling

• video

  • Lamport's lecture <-- stopped at paxos

Distributed Systems

• text

  • Introduction to Distributed Systems <-- stopped at byzantine

• code

  • raft in go articles

• lecture

  • 6.5840: Distributed Systems <-- stopped at midterm

model checking

• video
  • Model checking-Katoen
    • https://moves.rwth-aachen.de/teaching/ss-18/introduction-to-model-checking/
• book
  • Principles of Model Checking

---

slides

• https://lpc.events/event/2/contributions/60/attachments/18/42/FormalMethodsPlumbers2018.pdf

ref

• https://github.com/tlaplus/awesome-tlaplus
• https://learntla.com/reference/other-resources.html
• https://cgi.luddy.indiana.edu/~prateeks/dist-sys-course.html