Comment prouver que votre code ne contient aucune erreur d'exécution (et pourquoi vous finirez probablement par abandonner)
L'interprétation abstraite permet de prouver l'impossibilité des erreurs d'exécution avant même l'exécution. Voici comment cela fonctionne réellement, pourquoi c'est difficile, et où cela s'inscrit dans votre chaîne d'outils.
