Formal Methods

Introduction to TLA+ — Notes

Notes from Leslie Lamport’s video Introduction to TLA+. What is TLA+? A language for high-level modeling of critical parts of digital systems. It was …