Formal Methods Beyond Correctness: Isolation & Permissiveness of Distributed Transactions in MongoDB
www.mongodb.com
Learn how we used modular protocol specification for verifying both correctness and performance of MongoDB’s distributed transactions protocol.