En simplifiant à peine, le code est de fait prouvéBubu a écrit :En aéronautique, le code ne suffit pas. S'il n'est pas accompagné de sa preuve, il est inutilisable.
de par sa génération automatique par une chaine
d'outils eux-mêmes prouvés, des spécifications
jusqu'au compilateur final (ou aux circuits) ...