The TLA+ Video Course by Leslie Lamport

lamport.azurewebsites.net

saved by: 0 people
related read on: Learn TLA+ from the discussion

Introduction to TLA+ Model Checking in the Command Line from the discussion