Yes, which worries me. I talked to a guy working in safety related software design (safety like car breaks), and they are going to C++, since there are not enou

Yes, which worries me. I talked to a guy working in safety related software design (safety like car breaks), and they are going to C++, since there are not enough Ada/Spark developers. Which is a pity, since Spark allows you to prove correctness (in a special sense)