The Therac-25 used a PDP-11 computer. So I assumed the software was written in C. It wasn't? I would also assume that most embedded software (e.g. in cars, spa

The Therac-25 used a PDP-11 computer. So I assumed the software was written in C. It wasn't? I would also assume that most embedded software (e.g. in cars, spaceships, weapons, etc.) is written in C. But I see now it's indeed hard to come up with definitive sources. A few failures can be found here (and it's easy to google some more): https://embeddedartistry.com/fieldatlas/historical-software-accidents-and-errors/ https://embeddedartistry.com/fieldatlas/historical-software-... But sadly no reference to the used languages anywhere there. So I forward the question as I'm now also unsure: Has anybody definitive sources that prove the absence of C code in the known fatal accidents?