https://www.datadoghq.com/blog/engineering/formal-modeling-and-simulation
How we use formal modeling, lightweight simulations, and chaos testing to design reliable distributed systems
Arun Parthiban, Sesh Nalla, Cecilia Wat-Kim
November 20, 2024
“To analyze a distributed system during its design phase, we can use additional techniques such as formal modeling and lightweight simulations to describe and ascertain complex system behavior at any desired level of abstraction…”