The TLA+ Video Course by Leslie Lamport

news.ycombinator.com

saved by: 0 people
related read on: Introduction to TLA+ Model Checking in the Command Line related HN threads