41554 blogs · 4,644,446 posts Claim your blog

Record · corpus.blog/posts/01a0bbc3-1a16-70a9-a63b-94bfc72ea156

Going Beyond an Incident Report with TLA+

Murat Demirbas · published 2 August 2023

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: 11
Words captured: 1,640

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://www.usenix.org/publications/loginonline/going-beyond-incident-report-tla

usenix.org

https://arxiv.org/pdf/2210.13661.pdf

arxiv.org

https://github.com/lemmy

github.com

https://blogger.googleusercontent.com/img/a/AVvXsEjlzNdngsRe_qa1LVvVU8ekjBbGFAXxJZkfShXnU2lA1p0E5ViYjI69E_sE8iX6wfToIkmdMwJMyEuSLqTRj-Z_N7mUB377YKc2RpZ36Cs0aucLwhIxLpOueVgDXBgsVa1rScz4XxxnLdMZ8bSInhuOKm0fohc02D_GjASDlRCTrQggbUAsWW1d3wXE-lY

blogger.googleusercontent.com

https://fhackett.github.io/

fhackett.github.io

https://github.com/Azure/azure-cosmos-tla

github.com

https://github.com/tlaplus/azure-cosmos-tla/tree/master/simple-model

github.com

https://blogger.googleusercontent.com/img/a/AVvXsEhbdRMNa3gVn7Iysay9OrM18Pkm3aKpN43NKRBaU7-PthG7AbSlp5zm3Ffao3X2Rg2I_G-jIlsC7psL8973t9U8wIXMAheL2Ds_Rcyvw7y_RHUeh19ocUyQKEAr0qq2hJLZHXI5Di-ffHwmve8wDUg5xcv4I8uFJybxES4N7MHOLwlp1_vtVrBL6WAU2gY

blogger.googleusercontent.com

Why you should use modeling [with TLA+/PlusCal] Read at the source ↗

muratbuffalo.blogspot.com

How I read a research paper Read at the source ↗

muratbuffalo.blogspot.com

Deep reading Read at the source ↗

muratbuffalo.blogspot.com