Conformance checking at MongoDB: Testing that our code matches our TLA+ specs

[todsacerdoti]

Article URL: https://www.mongodb.com/blog/post/e...ongodb-testing-our-code-matches-our-tla-specs

Comments URL: https://news.ycombinator.com/item?id=44163496

Points: 51

# Comments: 20