A. Jesse Jiryu Davis • 5/10/2025

Are We Serious About Using TLA+ For Statistical Properties?

Read Original

The article discusses a proposal to extend the formal specification language TLA+ to model performance and statistical properties, not just correctness. It details the author's journey learning queueing theory, its limitations for practical system design, and advocates for using simulation (like Monte Carlo methods) and tools such as Java Modelling Tools for performance analysis.

0 comments
#distributed systems #Formal Methods #Queueing Theory
Are We Serious About Using TLA+ For Statistical Properties?

Comments

No comments yet

Be the first to share your thoughts!

Browser Extension

Get instant access to AllDevBlogs from your browser

Top of the Week

1
React, useEffect, and Stale Closures: How to Avoid Them with Dependencies and useRef
Jivbcoop • 4 votes
2
Better react-hook-form Smart Form Components
Maarten Hus • 2 votes
3
AGI, ASI, A*I – Do we have all we need to get there?
John D. Cook • 1 votes
4
Quoting Thariq Shihipar
Simon Willison • 1 votes
5
Dew Drop – January 15, 2026 (#4583)
Alvin Ashcraft • 1 votes
6
Using Browser Apis In React Practical Guide
Jivbcoop • 1 votes