C'est vrai que ce que j'entends par critique c'est le point de vue sécurité (bug = potentielle mort d'homme). Il est vrai que si tu as des contraintes temps réel cela peut changer, mais je n'ai jamais vu de tel code et il me semblait que l'aérospatial misait beaucoup sur Ada pour ce genre de chose notamment.
[^] # Re: Vérification formelle
Posté par vlamy . En réponse au journal Idée stupide sur la sécurité du code. Évalué à 4. Dernière modification le 24 avril 2014 à 07:45.
C'est vrai que ce que j'entends par critique c'est le point de vue sécurité (bug = potentielle mort d'homme). Il est vrai que si tu as des contraintes temps réel cela peut changer, mais je n'ai jamais vu de tel code et il me semblait que l'aérospatial misait beaucoup sur Ada pour ce genre de chose notamment.
Sinon tu n'as jamais vu d'Ada ou de Caml ?