Bonjour.
Ma question est simple : j'ai lu quelque part qu'il était impossible de prouver un programme trop gros avec les outils actuels.
En effet, j'ai déjà lu cet argument comme quoi les programmes assez petits pouvaient être testés, mais pas les gros.
Pourquoi cette impossibilité ?
-----