Modular verification of MongoDB Transactions using TLA+ (via ahelwer) — discussion
#distributed #formalmethods
