Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Login
From:
Datadog | Engineering blog
(Uncensored)
subscribe
How we use formal modeling, lightweight simulations, and chaos testing to design reliable distributed systems
https://www.datadoghq.com/blog/engineering/formal-modeling-and-simulation/
links
backlinks
Learn how we used formal modeling and simulation to analyze a distributed, multi-tenant queueing system.
