3 ms·
Indeed, if we wanted to prevent it we would use ADA/Spark or a language with formal verification support say Frama-C.
by mratsim 5y ago
Indeed, if we wanted to prevent it we would use ADA/Spark or a language with formal verification support say Frama-C.