Ayant vu les coulisses de l'A380, c'est pas si impressionnant que ça va, même si c'est clair que le résultat final est sympathique
Enfin bon pour en revenir à la vérification de code, l'aéronautique est en effet un bon exemple de la chose.Mais c'est pas parcequ'un code est prouvé, vérifié et certifié qu'il est sécurisé pour autant... Tout simplement parceque la preuve et la vérification se font par rapport à la spécification, qui peut comporter ses propres erreurs.