I was not required to take such a course, but it did exist in our catalog. I suspect the main requirement was actually fulfilled by a ~week or two in the intro

I was not required to take such a course, but it did exist in our catalog. I suspect the main requirement was actually fulfilled by a ~week or two in the intro course, where we talked about Therac-25 and maybe another disaster or two.