I am working at a company which sometimes does medical embedded projects.
For these kind of projects the suspect of a save, language, without buffer overflows, and reliably working hardware are a godsend.
Now for any medical project a certain degree of verification/certification is required.
Is it somehow possible to let the Rust Compiler be certified? Maybe offer a special license for the “certified” compiler version, which companies will have to pay. Or just offer the certification for everybody using version x.
For a medical project this would be one very important part, before i could even start using rust.