41554 blogs · 4,417,066 posts Claim your blog

Record · corpus.blog/posts/01a0bba5-ba97-7132-9029-331f8edddf9c

TLA+ Modeling of AWS outage DNS race condition

Murat Demirbas · published 5 November 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
Links from this post: 12
Words captured: 897

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

Metastable failures in the wild Read at the source ↗

muratbuffalo.blogspot.com

https://wyounas.github.io/aws/concurrency/2025/10/30/reproducing-the-aws-outage-race-condition-with-model-checker/

wyounas.github.io

https://github.com/will62794/spectacle

github.com

https://github.com/muratdem/TLA-seminar/blob/main/AwsDNSrace/AwsDNSRace.tla

github.com

https://github.com/muratdem/TLA-seminar/blob/main/AwsDNSrace/AwsDNSRace.cfg

github.com

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgWMgyw9SNj-8sbBpaalfjH__I66X9Md93I0SCayYfpa4y6nkawGLBWhp297yFdBMd0Rs32YMlbwHdUcgM7mEkDqHfodcKnvx6QMozgyUDFEYGlez75VY1R0depqmLzTX1XAIDmF_dVJvNkz86QnnCKK4Z2tZW3G1sIIHNKIMxHh-YqaVgd4qWUYZneiik/s1264/Screenshot%202025-11-05%20at%205.38.26%E2%80%AFPM.png

blogger.googleusercontent.com

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEg7Vg2X1qapddJH3mMw92yUW95LfMyzyJUf-eWhOXd8P7X8s5_7j1gBv5GUSLYOvqI3XYMFN3ouylaJfLYCoMDfchshJp7SumaCxUja7kf6Hg1mMT2mkQvfHbrpmzjEJGwPbtr-Np4bpXYiqzvTS-B-vRNLRI4Nroaz_s_I0N-m3hGuv3QuNUCbVf1n8NI/s1264/Screenshot%202025-11-05%20at%205.38.42%E2%80%AFPM.png

blogger.googleusercontent.com

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEh1i-7iA-GjgRJbJ8Cljx7eI04OXhgHPAQeDS4DTz81N1RgI_uF9gZX5Mit-jGpbS1JU2viw9fyQXI_-hGSSeoQjUPApbB6DFuYR7YvfHWs0KuK31j1hyoJCodv0B2ke5zWCeOlHpB3rPX-m02uECqXCqEdO4eHUTL3RHlzSfB2cpP3_H80GNJpW33Bnl8/s1264/Screenshot%202025-11-05%20at%205.38.56%E2%80%AFPM.png

blogger.googleusercontent.com

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEh1tvXey8Rw7SwiBGGPrLyN_NLJKW1f0FPlMOqdmJ2y4HMzzGLKnAhuEzEc_ZQ85yVtYDrFkI47OzBndZHr5vQT53SWIg4M2_UVLaPxOZI-jHdI9jxslMOcyZZq_B6jWIydSgGwTR8M7wKfN9oy_9_9Ur6ADI2mOuy2cP5i-M6IuIjqtBnbGB5TIQ0aahI/s1264/Screenshot%202025-11-05%20at%205.39.11%E2%80%AFPM.png

blogger.googleusercontent.com

https://will62794.github.io/spectacle/

will62794.github.io

https://www.linkedin.com/posts/markus-kuppe-643559180_tlaplus-formalmethods-distributedsystems-activity-7392019085619970048-w3E-?utm_source=share&utm_medium=member_desktop&rcm=ACoAACmyRvoBzMi359UZo8k62I2lsLHL55xqrhQ

linkedin.com

https://lemmster.de/spectacle/

lemmster.de