3 ms·Maybe a language with the checking by default in the compiler would be a good idea, like Ada or SPARK.by timbit42 4y agoMaybe a language with the checking by default in the compiler would be a good idea, like Ada or SPARK.