top | item 44745576 (no title) hwayne | 7 months ago Main way we're validating that now is by using TLA+ models to generate test suites. Mongo came out with a new paper on this recently: https://will62794.github.io/assets/papers/mdb-txns-modular-v... discuss order hn newest No comments yet.
No comments yet.