Login
From:
Metadata
(Uncensored)
subscribe
Modular verification of MongoDB Transactions using TLA+
https://muratbuffalo.blogspot.com/2025/05/modular-verification-of-mongodb.html
links
backlinks
Tagged with:
mongodb
tla
distributed transactions
Joint work with Will Schultz.
Roast topics
Find topics
Find it!
