> Ada is a good example here: the language has not evolved something like MISRA-C (it has evolved SPARK for formal verification, but I see that differently). T

> Ada is a good example here: the language has not evolved something like MISRA-C (it has evolved SPARK for formal verification, but I see that differently). This may interest you: "In this document, we show how SPARK can be used to achieve high code quality with guarantees that go beyond what would be feasible with MISRA C." https://www.adacore.com/uploads/books/pdf/SPARK-Ada-for-MISRA-C-Developer.pdf https://www.adacore.com/uploads/books/pdf/SPARK-Ada-for-MISR...