3 ms·
I wrote this case study on using TLA+ for a business project: https://medium.com/espark-engineering-blog/formal-methods-in-practice-8f20d72bce4f https://medium.
by hwayne 6y ago
I wrote this case study on using TLA+ for a business project: https://medium.com/espark-engineering-blog/formal-methods-in-practice-8f20d72bce4f https://medium.com/espark-engineering-blog/formal-methods-in.... This was a system we'd already spent a lot of time working on and consistently saw a direct correlation between making changes and new production fires. TLA+ caught issues with the planned changes before we actually implemented them.
- tonyarkles 6y agoAnd I would like to thank you for the material you've written. You, personally, played a huge role in my choice to look into and eventually standardize on TLA+ as my "distributed systems modelling" tool as well as getting me going on it. You rock, thank you!