Vérification de la faisabilité et de l'évolutivité de la conception algorithmique