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

Record · corpus.blog/posts/01a07d5d-8ca2-708b-849e-ef2316ca8071

Composition and Modular Verification of TLA+ specs

Murat Demirbas · published 27 August 2026

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: 9
Words captured: 2,187

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

The Two Abstractions of System Design: Hide or Reduce Read at the source ↗

muratbuffalo.blogspot.com

https://bitsavers.trailing-edge.com/pdf/dec/tech_reports/SRC-TN-1997-030A.pdf

bitsavers.trailing-edge.com

https://www.joelonsoftware.com/2002/11/11/the-law-of-leaky-abstractions/

joelonsoftware.com

https://pron.github.io/

pron.github.io

https://github.com/lemmy

github.com

https://uguryav.uz/

uguryav.uz

https://github.com/muratdem/modularTLA/tree/main/producer-consumer-modular

github.com

Composing TLA+ Specifications with State Machines Read at the source ↗

hillelwayne.com

https://www.youtube.com/watch?v=TP3SY0EUV2A

youtube.com