TLA+ Video Course (2021)
a year ago
- #Specifications
- #TLA+
- #Programming
- TLA+ video course for programmers and software engineers to learn writing specifications.
- Assumes basic programming knowledge and some elementary mathematics.
- Videos require careful viewing and thinking; not light entertainment.
- Scripts provided for each video, useful for hearing impaired or non-English speakers.
- Offline viewing options available for slow network connections.
- Lectures cover Introduction to TLA+, State Machines, Resources and Tools, Die Hard, Transaction Commit, Two-Phase Commit, Paxos Commit, Implementation, The Alternating Bit Protocol, and Implementation with Refinement.
- Download instructions provided for offline viewing, including necessary files and setup.