|
|
|
|
|
|
by gmfawcett
1601 days ago
|
|
|
> 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-MISR... |
|
|