Record · corpus.blog/posts/01a0bbaf-db95-7338-a77e-197ef05dcc38

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

1blogs citing

First cited: 15 May 2025
Most recent: 15 May 2025
Rank this month: not ranked
Links from this post: 17
Words captured: 1,417

Cited by

Blog

In the post

Date

ahelwer.ca

The current state of TLA⁺ development Read at the source ↗

15 May 2025

Links from this post

Link

Host

https://will62794.github.io/

will62794.github.io

Hybrid Logical Clocks Read at the source ↗

muratbuffalo.blogspot.com

Implementation of Cluster-wide Logical Clock and Causal Consistency in MongoDB Read at the source ↗

muratbuffalo.blogspot.com

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

Seeing is Believing: A Client-Centric Specification of Database Isolation Read at the source ↗

muratbuffalo.blogspot.com

Automated Validation of State-Based Client-Centric Isolation with TLA+ (2021) Read at the source ↗

muratbuffalo.blogspot.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