ByteBrief
We're a portrait publication through and through. Turn your phone back and your briefing picks up right where you left it.
(We tried widescreen once. It wasn't us.)
MongoDB developed a TLA+ specification of its distributed transactions protocol and used it to formally verify that the WiredTiger storage engine implementation conforms to the abstract model. The work enabled automated test generation for checking conformance between the storage engine semantics and the formal specification.
Tap to vote and see what everyone thinks.
Summary by ByteBrief