[15155]

If I write the software for those devices in ASM, do/can they still look through it?

Is there some kind of formal engineering practice they require manufacturers to adhere to?

How are their staff qualified to read the vast variety of languages out there?

I cite these as immediate, obvious roadblocks to verification, regulation, because they're easy and many PLs are something that the vast majority of the software industry are not used to.