Je sais ce que critique et sécurité veulent dire. Des réacteurs nucléaires, entre autres, ça doit compter :-)
Attention, ma remarque était juste pour contrebalancer la portée de ta constatation personnelle. Je ne nie en aucun cas qu'on puisse trouver de l'Ada, je tenais juste à dire que le C existe dans les systèmes critiques et qu'on peut encore ne faire que ça. Jamais entendu parler de Caml dans ces domaines, par contre (ce qui ne veut pas dire que ça n'existe pas non plus).
[^] # Re: Vérification formelle
Posté par gnx . En réponse au journal Idée stupide sur la sécurité du code. Évalué à 4.
Je sais ce que critique et sécurité veulent dire. Des réacteurs nucléaires, entre autres, ça doit compter :-)
Attention, ma remarque était juste pour contrebalancer la portée de ta constatation personnelle. Je ne nie en aucun cas qu'on puisse trouver de l'Ada, je tenais juste à dire que le C existe dans les systèmes critiques et qu'on peut encore ne faire que ça. Jamais entendu parler de Caml dans ces domaines, par contre (ce qui ne veut pas dire que ça n'existe pas non plus).