Record · corpus.blog/posts/01a08773-4e97-732c-baa7-79299b3c1032

Are We Serious About Using TLA+ For Statistical Properties?

A. Jesse Jiryu Davis · published 10 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 emptysqua.re Wayback capture

1blogs citing

First cited: 15 May 2025
Most recent: 15 May 2025
Rank this month: not ranked
Links from this post: 23
Words captured: 5,674

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

Jesse's 2025 TLA+ Community Event Notes Read at the source ↗

emptysqua.re

https://emptysqua.re/blog/2022-hpts-notes/

emptysqua.re

Formal Methods Only Solve Half My Problems Read at the source ↗

brooker.co.za

https://emptysqua.re/blog/review-queue-theory-book/

emptysqua.re

https://emptysqua.re/blog/java-modelling-tools/

emptysqua.re

Simple Simulations for System Builders Read at the source ↗

brooker.co.za

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

youtube.com

https://conf.tlapl.us/2022/JackMarkusTLA+Statistics.pdf

conf.tlapl.us

https://jack-vanlightly.com/blog/2024/11/19/obtaining-statistical-properties-through-modeling-and-simulation

jack-vanlightly.com

Checking statistical properties of protocols using TLA+ Read at the source ↗

muratbuffalo.blogspot.com

https://github.com/Vanlightly/formal-methods-playground/blob/master/tla/tlaplus-conf/swim/swim_stats.tla

github.com

https://www.hillelwayne.com/tags/prism/

hillelwayne.com

https://www.prismmodelchecker.org/casestudies/gossip.php

prismmodelchecker.org

https://runway.systems/

runway.systems

https://www.usenix.org/system/files/login/articles/login_fall16_06_ongaro.pdf

usenix.org

https://groups.google.com/g/tlaplus/c/5Xd8kv288jE/m/k4xOYydpAAAJ

groups.google.com

https://fizzbee.io/

fizzbee.io

https://fizzbee.io/design/tutorials/performance-modeling/

fizzbee.io

https://docs.scipy.org/doc/scipy/tutorial/stats/probability_distributions.html

docs.scipy.org

https://lamport.azurewebsites.net/pubs/yuanyu-model-checking.pdf

lamport.azurewebsites.net

https://groups.google.com/g/tlaplus/c/2lpTFq6uFsE/m/Dy5Ezw29AgAJ

groups.google.com

How do you reason about a probabilistic distributed system? Read at the source ↗

ahelwer.ca

https://i-cav.org/2015/wp-content/uploads/2015/07/mod12_katoen.pdf

i-cav.org