khafra comments on On the CrowdStrike Incident

[khafra]

Sure, that’s fair enough. I was thinking in the context of “formal verification that would have prevented this outage.”