41,554 blogs · 4,654,352 posts Claim your blog

Record · corpus.blog/posts/01a0bbd3-1104-71ca-9226-541500d1446c

Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 (SOSP21)

Murat Demirbas · published 2 October 2021

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: 10
Words captured: 1,013

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://www.amazon.science/publications/using-lightweight-formal-methods-to-validate-a-key-value-storage-node-in-amazon-s3

amazon.science

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhF1iRwesD8VXz00NRDgxRH_7453DBbbUnJza7DgLiYwvLWu0Xn23ml4S3r3-b4373UuaI73CRzbIx-S2HnpzeKJGyl75cs6OVyy0yGzXi1w64ucehQx17KFgyoqXwie7F_Y7fDpefzKik/

blogger.googleusercontent.com

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiVLDcKIeWAWCxBRnrzo-LzGBeqmYrKMrv853mG_0Uqqd-INCE8pb3StnztbCvQhjRFFAjfhzHtVbe0g8bgWeMqbxwsl4w1iGdOTcimcHl6oHbzSTH2T3e1_quMw1A1yi0sM6l5XvT7_yE/

blogger.googleusercontent.com

https://en.wikipedia.org/wiki/Software_testing

en.wikipedia.org

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEig-w15KgJYg9_gP1nye7aVyYwQsku1egb40Acnyw_-vw2rGQ2iVpmq6C7dpwaPEkVGKXQzqXxVBsbHB0W5DMwR4HbuqQqP-jkI0TRnsmi-2mH3Jgnt57FEFHfuGKtI-TI1f7PmPMWqLDw/

blogger.googleusercontent.com

https://github.com/tokio-rs/loom

github.com

https://github.com/awslabs/shuttle

github.com

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhqLeJ-gKov8MOe2tf2j78hLjRqEWO6_RpVBrWj1uVJEtTTEl2WRc9L7ytEFdOD-bmmIo_nr0Rq4hZlOE3YXXD8WGmZGwzkrzrSA-LGBX2JvPzqdXq1Bc8C3lD604dB6IaoavzmDNwJKTg/

blogger.googleusercontent.com

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjYbtPuNJUziWILQ9E5CVDpUm0p2ILHtMQG2bF11JzRXW6p9vj6oTLLSLCAw2Qr3hhTu0DlDFxT1F22HCNXF26ODt-I2ZbPLSNTvNaCaBZ-LHDvSiMYbMRDBTV4k41uDQT6nJ6S0kll73c/

blogger.googleusercontent.com

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjOSZwCshF5bzkgRZSOAofWC5_wJFdlA-RP_yptLjDsY4jv4IBMURFpaQ5gr87TU7zjjW6_VSfRmkRPmcWSfGPxrmon5685HUYTzr3U6Wz9QkE4cysMBfo-XooPqLVw0dFu8Q-AzGsbaDI/

blogger.googleusercontent.com