Modular verification of MongoDB Transactions using TLA+
Joint work with Will Schultz . A transaction groups multiple operations into an all-or-nothing logical-box to reduce the surface area expose...| muratbuffalo.blogspot.com
Joint work with Will Schultz . A transaction groups multiple operations into an all-or-nothing logical-box to reduce the surface area expose...| muratbuffalo.blogspot.com
