2 ms·
TLA+ ? > It is used to design, model, document, and verify concurrent systems. TLA+ has been described as exhaustively-testable pseudocode, and its use likened
by maerF0x0 8y ago
TLA+ ?
> It is used to design, model, document, and verify concurrent systems. TLA+ has been described as exhaustively-testable pseudocode, and its use likened to drawing blueprints for software systems [1]
resource: https://lamport.azurewebsites.net/video/videos.html https://lamport.azurewebsites.net/video/videos.html
[1]: https://en.wikipedia.org/wiki/TLA%2B https://en.wikipedia.org/wiki/TLA%2B