TLA+ Video Course (2021)
(azurewebsites.net)
This is a series of video lectures to teach programmers and software engineers how to write their own TLA+ specifications.
This is a series of video lectures to teach programmers and software engineers how to write their own TLA+ specifications.
TLA+ Monthly Development Update – December 2024
(tlapl.us)
Hello! You’re reading the inaugural edition of the TLA⁺ Foundation monthly development update.
Hello! You’re reading the inaugural edition of the TLA⁺ Foundation monthly development update.
A Liveness Example in TLA+
(surfingcomplexity.blog)
If you’ve ever sat at a stop light that was just stuck on red, where there was clearly a problem with the light where it wasn’t ever switching green, you’ve encountered a liveness problem with a system.
If you’ve ever sat at a stop light that was just stuck on red, where there was clearly a problem with the light where it wasn’t ever switching green, you’ve encountered a liveness problem with a system.