News for hackers. Stuff that matters.

A comment on How Amazon Web Services Uses Formal Methods (2015) [pdf]. Parent comment

Re:How Amazon Web Services Uses Formal Methods (2015) [pdf] by lemmster on Monday January 20, 2020 @02:07PM (#22101287)
Below are a few specs related to refactoring/rewriting the TLA+ model checker to scale to more cores:

* https://github.com/tlaplus/tlaplus/blob/master/tlatools/src/...

* https://github.com/tlaplus/tlaplus/blob/master/tlatools/src/...

* https://github.com/lemmy/PageQueue

[ Parent | on HN ]

There are no comments on this comment yet.