They are starting to: https://www.adacore.com/press/adacore-enhances-security-critical-firmware-with-nvidia https://www.adacore.com/press/adacore-enhances-secu

They are starting to: https://www.adacore.com/press/adacore-enhances-security-critical-firmware-with-nvidia https://www.adacore.com/press/adacore-enhances-security-crit... https://www.adacore.com/press/iso-26262 https://www.adacore.com/press/iso-26262 https://www.adacore.com/press/jtekt-spark-pro-automotive https://www.adacore.com/press/jtekt-spark-pro-automotive https://www.adacore.com/press/denso-spark-automotive-research https://www.adacore.com/press/denso-spark-automotive-researc... https://www.adacore.com/press/adacore-tools-streamline-development-of-safe-secure-automotive-and-autonomous-system-software https://www.adacore.com/press/adacore-tools-streamline-devel...