How we continuously validate formal specifications in production | Datadog
www.datadoghq.com
Learn how Datadog built FETCh to continuously validate production behavior against TLA+ specifications and uncover a subtle bug that conventional testing had not exposed.