I do wonder if the next step is check the compiler / interpreter the code is running on. Is Matlab assumed to be error free in this situation? Will certified

I do wonder if the next step is check the compiler / interpreter the code is running on. Is Matlab assumed to be error free in this situation? Will certified compilers and CPUs be required in the future? Looks like someone could end up reviving a modern version of the Viper https://en.wikipedia.org/wiki/VIPER_microprocessor https://en.wikipedia.org/wiki/VIPER_microprocessor