corpus.blog
41,554 blogs · 4,819,422 posts Claim your blog
Record · corpus.blog/posts/01a0bbaf-e00d-7043-a00e-6fbea2ac1378

Modular verification of MongoDB Transactions using TLA+

Murat Demirbas · published 8 May 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at muratbuffalo.blogspot.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
13
Words captured
1,417

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://will62794.github.io/
will62794.github.io
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhefxaRehyphenhyphenmB2D3v56N6HZcUXVxX1RTW3WrLxLt-CLftBNhyphenhyphenlMeFZUNst4TQZOjc8kLEDl0zO6ur85AWzlJzCEgvzLyiTCg12Unu1qiw2tOZ3rzIw-gX28ue1EVVz2OMJUMu0NOyHewymmGFQH9XzWgFqIuO6JAQesbnlEbTgKml3Qi8y8lXu2oqTA3GTg/s1652/Screenshot%202025-05-07%20at%2010.42.59%E2%80%AFPM.png
blogger.googleusercontent.com
https://transactional.blog/blog/2025-decomposing-transactional-systems
transactional.blog
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgnxPb8Z08rShG-Hxj8n5I29XDu6fxIn6F5iJQ2Ffw-c3SqCcNj-RQ4jprQcRI8pVQX3UX2zOxuCEYUvLFPT78kBWFktH4iHaXcYb2coMCcAgdKO8Q_vagfuxDNVrROTK6D5DHyQPSJ8CPor6hT09H6dbRysGRH0TIiESxtGAbEoW0xsgazDbS8otwjpMU/s884/Screenshot%202025-05-07%20at%2010.38.29%E2%80%AFPM.png
blogger.googleusercontent.com
https://github.com/muratdem/MDBTLA/tree/main/MultiShardTxn
github.com
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhfrdrAfGVpcQnwflG8UMJMp1u314w8X96GgJ0PfbqueM4jwb-QXIflWiVbagARvs1Oq44Dme8mjLCloWAM8XVN_u0zINqHSc6hCj3VBhlZevgxvmllvdPMgy_bZtjiyFM8ErUB8fdALvKg9Zm44vajJN48aWK67-JTU2hOSJN-zl2WESAHnKcJjXXqxqU/s1488/Screenshot%202025-05-07%20at%2010.44.38%E2%80%AFPM.png
blogger.googleusercontent.com
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhtqiQ-al-AQRy7eENYmqN5DyjiZoMgmI8jhy53yaCh2_jaYRjBT9au3dge8Ep5re3xh6JxpKuZHPWQ82e6fZNImE-0lf0LIpqbqo38ZV4kOZa9IdodKkNjsC4FL-y_rBD3sExxAg-_H3zFnchlzZmJtshe7JsgFfRyNgiN_bqLp6k-KtVYjPDn6lMm-9Y/s1724/Screenshot%202025-05-07%20at%2010.47.50%E2%80%AFPM.png
blogger.googleusercontent.com
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhl2mL9713SIsv1yrEe6ytcjp1_SPtD4ylgJHDmYtdD-hnIz6h_V8hyphenhyphensCpq55rAyxeaNC8SU3_d_E_JY0vIUhUPVsEecsNS_KPweHOUNIPUjguMInbNpfjLCgUmFx7XcMV_S5jS9BgeBSsaZudZTBLWV1aFHiq7iCl1oUDQVYlAsrptLqSK8nmCBMq2ggM/s2874/Screenshot%202025-05-07%20at%2010.49.57%E2%80%AFPM.png
blogger.googleusercontent.com
https://will62794.github.io/spectacle/
will62794.github.io
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhLkd5G2KQNdDzvRm1ZWFdv2DjreehYDxml7XMsoChBjWVVrN3G8nfheh1fq6vpGZHMMNQTh32qkTUo1SVFpPKKiM5RkTgOtM46hXnzwZWNlB__k9czUrc-OT7YMMqytv9hCJSKHgoosGvAzDkn51KqQEL2q3tmUZpqOrb4s5MSSLRkHq7_VMZlKvCJnsM/s764/Screenshot%202025-05-07%20at%2010.55.53%E2%80%AFPM.png
blogger.googleusercontent.com
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjAGkeNSJMYtIsThG4pveHXoGdrcdYiYTBHHQwJydyzdl2Df8_P2-3Em557g4aD0qeI4aGngBWNqeJTAIdCF5WhT8AMmxyOct0wH6nw8I5QFSH8n6UBPaVxe7ztytxUFBtCGm8T3Lvsj4JONMyrxPZgSL1O9k_25pUu2P4NmUqw7EO3XKzWR9hihvqs9WE/s2318/Screenshot%202025-05-07%20at%2010.57.30%E2%80%AFPM.png
blogger.googleusercontent.com
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgij7CePD2DpxcKvQYUNdmMMNbm0pP61qD1nhVMqHFvfoMFB9J305YoBwuEfbxt6yUxP2L05q1WoLViE6pZqm9738RTKkRZX3D84Q9eki6p6E3E0jO9hCuc3gY9shLmJQ0s5jML4kk8DVZjvMsz_9HDQA59pXad65QvuGfxED0JTjql5GVAT2YpD7WYieg/s2392/Screenshot%202025-05-07%20at%2011.37.22%E2%80%AFPM.png
blogger.googleusercontent.com
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgE5XyowfTeerhuJ87zfLSh-z0PND0074uJRu8CvXRtyI70nt0CRvN8KTQmNK0dtYLHbejDkEbdKXktSQ7ZyNZrZI4pYKcdjwlmyNW1LWB0Fuuibws6wGj-jxU0DS_krWgLTL9UvnNlUu_tTQXwtMp1NleZGhE9ff-BcGK-3uILIAsmoM3xp15f4ALse00/s1860/Screenshot%202025-05-07%20at%2011.41.55%E2%80%AFPM.png
blogger.googleusercontent.com
Elsewhere on muratbuffalo.blogspot.com (4)