from Hacker News

Formal Modeling and Analysis of Distributed (Event-Driven) Systems

by ot on 6/1/25, 1:22 AM with 1 comments

• by evanjrowley on 6/1/25, 1:51 AM

  Used by Amazon Web Services, according to their ACM paper discussed here: https://news.ycombinator.com/item?id=43547593