Disregarding that it's not a solution to the DoD's problem as such, does Ada/SPARK have merit for writing embedded software?
I am coincidentally researching if I could rewrite parts of a personal project in Ada (from C) to improve reliability, and so far have failed to conclude either way.
I am coincidentally researching if I could rewrite parts of a personal project in Ada (from C) to improve reliability, and so far have failed to conclude either way.