Record · corpus.blog/posts/01a0bbcf-243e-7033-8ab5-99381f1d4cbc

Checking statistical properties of protocols using TLA+

Murat Demirbas · published 3 October 2022

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

2blogs citing

First cited: 11 Oct 2022
Most recent: 10 May 2025
Rank this month: not ranked
Links from this post: 22
Words captured: 2,822

Cited by

Blog

In the post

Date

A. Jesse Jiryu Davis

Are We Serious About Using TLA+ For Statistical Properties? Read at the source ↗

10 May 2025

mostlymaths.net

2022#24 Readings 🇺🇦🌻 Read at the source ↗

11 Oct 2022

Links from this post

Link

Host

TLA+ Conference and StrangeLoop 2022 Read at the source ↗

muratbuffalo.blogspot.com

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

conf.tlapl.us

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

brooker.co.za

https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD426.PDF

cs.utexas.edu

https://github.com/tlaplus/Examples/tree/master/specifications/ewd426

github.com

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

github.com

https://github.com/Vanlightly/formal-methods-playground/tree/master/tla/tlaplus-conf/rabbitmq

github.com

https://github.com/Vanlightly/formal-methods-playground/tree/master/tla/tlaplus-conf/kafka

github.com

https://scholar.google.com/scholar?hl=en&as_sdt=0%2C33&q=self-stabilization&btnG=

scholar.google.com

Dijkstra's stabilizing token ring algorithm Read at the source ↗

muratbuffalo.blogspot.com

https://blogger.googleusercontent.com/img/a/AVvXsEjZLpGANL9qnsEB-6FrREQDzSdlG4nRczNN70zuCW4qOq_tKGc7pC2mbXamL55Plc9VPmf64cibgmSJ4HvPjrRLS4B3YnsXwdASCO992Mq3gRZPdN2Iy-EOUJrdS6sEbk3Jx0vHQJY5eHl2JfVjvT75aS_EyiHzmGUZ0wmfNGnjJoJtECiPgHE61IXv

blogger.googleusercontent.com

https://blogger.googleusercontent.com/img/a/AVvXsEiaXlnUR-D2qejXcz_Yd-RgBuev_X-Seo1UB0e1NU-wYfX6pn6XDjhWE5hivxKnZ_r1w-SLUeKiYmGtj6ajn9wV3a5sPPWMXDnm5LJ2G95s3JIWqkL1yowsHqVJ9_we5gvSUGSA2YsKq0TG9VkfYctrtCP3UQYqumg9Z5s1iGbR67CeEIuNscfTDOlR

blogger.googleusercontent.com

https://blogger.googleusercontent.com/img/a/AVvXsEi4O79gn0knHCdnaPTQn4stC7jtfmj0ki-gRn_U-AHeH-JhN3bIUfxh9cHCGVHEmAHUMTYbWFlR55nTdpRD8785Lxqfnyfh7mpPA72pvGaD92kEzd1LBzrLYxVng8s8YyXCuc8FnXW6CS_hja3ZAYkM4dkwsHDfqvcMmXPrFOyDkwIOJwEV3XE9AkzZ

blogger.googleusercontent.com

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

en.wikipedia.org

https://www.hillelwayne.com/post/action-properties/

hillelwayne.com

https://blogger.googleusercontent.com/img/a/AVvXsEhf-EUUb5TqlUwnkLDw-hm-aQnNml7HvPQOji2r6Jf7PzVQNB0rQAX0u5zWbTcZVUeWLfbv5cDUtJ84U_fnLB8L-lC2MKiALlaP-9UA9KN8lg4caN3lmPDPpGqAACnBbEKcoYkvWuAWR2U2MbKJOgzVsAywMl8pHgqsH_UuHZnxGK0ahJZVMHzcFaOW

blogger.googleusercontent.com

https://blogger.googleusercontent.com/img/a/AVvXsEg7dcwHWoPmkY5zgDEAHfLhdkjenNRsfdEjcyzqVpev1m4zeFRC-nschc_P49u_txaItkbXheloEyWa5907OUU2Ry2TE_bc7DsgUz4nHM4_ZeoQfxO6dWHHaH0WCANEOsIVpCtFJICXDDBQHJJX68QujFrhm_OzSgn6ibijiFlhYL-z_Z0KHWgH5Oeu

blogger.googleusercontent.com

https://github.com/tlaplus/Examples/tree/master/specifications/ewd998

github.com

https://blogger.googleusercontent.com/img/a/AVvXsEgAKvXk3QCkRhwgDwoUzzJzFmNrNwrHtRzAR2eBPqe_Is9SbWWc7O1Z90TYvOzceYorEEF3BFP27xH3zTbMxBHhXM03jHVk--PyO7L_lgKSTYELo2FIOU_Y2fJdRsy5DCtadwpqjwKEO0ehURPu38PcusHbpizcEJcM9yJqijLDZL338jPDo0k5gGtD

blogger.googleusercontent.com

https://blogger.googleusercontent.com/img/a/AVvXsEh_Uz7WEm4X1IYWcR2VH81du4B19_a2lpYyH3G5SnBtR-RNdOYT0yp2ysaAUbsVC6xFP5UWHyd5cH-02QCxtUvAcne_P1RFOhcCeY8TPPg32GEAtJoDkOXaFNQ8DLjHQPavPzjkH6MDJ8xI5dbGtmfWSG3cItFs4ObIRYJ9N1vT2HXBQZaoWGZyLW4u

blogger.googleusercontent.com

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

youtube.com

https://blogger.googleusercontent.com/img/a/AVvXsEgtFnBWwLoMSbWp07BoUnB7IVqEVLi13gd-5d6ctaPvImuWdTeQdmrA6U0x5jGKRH0Jmch_NuG3SHlHt_BT6D5K3PmTY14zDI4XE03PgrWlHAD-ymnYAUSDUCw4wf98eioSME8bBSYZXkq6pIQSxB3NT78t-QhyQbD7TMD1PgBIbnK6ykcgTWXJXyPV

blogger.googleusercontent.com