safety laws followed regulating railroads, avionics, etc., and all mandating safety
296 Software Security Assurance State-of-the-Art Report (SOAR)
Section 8 Observations
cases. In the United States, no similar reliance on safety cases emerged to verify