How we continuously validate formal specifications in production

T1Covered by 1 source · first reported by Docker / HashiCorp / Grafana / Datadog / Honeycomb / Fly.io at 05 Nov, 00:00 UTC

Learn how Datadog built FETCh to continuously validate production behavior against TLA+ specifications and uncover a subtle bug that conventional testing had not exposed.