Chez nous (Paris Sud), ça fait partie du cursus de base du master 2 recherche. Du reste, les prérequis sont assez costauds : théorie des automates, logique temporelle, probabilités (chaînes de Markov et compagnie)... Le domaine gagnerait à être mieux connu car c'est l'un de ceux où la recherche et l'industrie s'accordent à penser qu'il y a beaucoup à faire.
# cursus de base ?
Posté par ɹǝıʌıʃO . En réponse à la dépêche Prix Turing 2007 pour la vérification de modèles. Évalué à 3.