Hacker News
- Are We Serious About Using TLA+ for Statistical Properties? https://emptysqua.re/blog/are-we-serious-about-statistical-properties-tlaplus/ 0 comments
Lobsters
- Are We Serious About Using TLA+ For Statistical Properties? https://emptysqua.re/blog/are-we-serious-about-statistical-properties-tlaplus/ 5 comments formalmethods
Linked pages
- Formal Methods Only Solve Half My Problems - Marc's Blog https://brooker.co.za/blog/2022/06/02/formal.html 36 comments
- FizzBee https://fizzbee.io/ 28 comments
- Checking statistical properties of protocols using TLA+ http://muratbuffalo.blogspot.com/2022/10/checking-statistical-properties-of.html 5 comments
- Review: Performance Modeling and Design of Computer Systems: Queueing Theory in Action https://emptysqua.re/blog/review-queue-theory-book/ 4 comments
- Runway: a tool for distributed systems design https://runway.systems/ 0 comments
- Simple Simulations for System Builders - Marc's Blog https://brooker.co.za/blog/2022/04/11/simulation.html 0 comments
- http://i-cav.org/2015/wp-content/uploads/2015/07/mod12_katoen.pdf 0 comments
- Obtaining Statistical Properties by Simulating Specs with TLC - Jack Vanlightly and Markus A. Kuppe - YouTube https://www.youtube.com/watch?t=4s&v=cYenTPD7740 0 comments
- How do you reason about a probabilistic distributed system? - https://ahelwer.ca/post/2020-09-11-probabilistic-distsys/ 0 comments
- Obtaining statistical properties through modeling and simulation — Jack Vanlightly https://jack-vanlightly.com/blog/2024/11/19/obtaining-statistical-properties-through-modeling-and-simulation 0 comments
- Jesse's 2025 TLA+ Community Event Notes https://emptysqua.re/blog/2025-tlaplus-community-event/ 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:emptysqua.re
Search title: Are We Serious About Using TLA+ For Statistical Properties?
See how to search.