Activity

  • Andy 86 replied to the topic "Can Verification Cause a Tragedy?"5 days, 14 hours ago

    Similarly, as everyone has mentioned, I also believe that this incident (Therac-25) caused a fundamental rethinking and reshaping of how the industry approaches both software safety and design. With that said, it isn’t only just verification that is changing, but…   Read more»