Re:Ask HN: Resources for the “engineering” aspects of softwa...
by maerF0x0 on Tuesday October 30, 2018 @04:53PM
(#18341196)
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]
> 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
[1]: https://en.wikipedia.org/wiki/TLA%2B