I recently became aware of TLA+, and I was curious if folks who have used it, have used it with webapps and had much luck with it?<p>I typically work with things like Personalization and Caching, and was wondering what folks thought about TLA+'s usefulness in those areas.
I've used it for caching, batch processing, and concurrent web apps, and it's been a huge help. I've gone into how I used it in a couple of places:<p>- "Tackling Concurrency Bugs with TLA+" (<a href="https://www.youtube.com/watch?v=_9B__0S21y8" rel="nofollow">https://www.youtube.com/watch?v=_9B__0S21y8</a>)<p>- "Formal Methods in Practice" (<a href="https://medium.com/espark-engineering-blog/formal-methods-in-practice-8f20d72bce4f" rel="nofollow">https://medium.com/espark-engineering-blog/formal-methods-in...</a>)<p>I love helping people with this stuff, so ping me if you have any questions!