Ce parcours n'ouvrira pas en septembre 2025. Il a été intégré au parcours Vérification Logiciel qui sera renommé en Algorithmes Modèles et Vérification pour la rentrée de septembre 2026.