j'ai étudié tout ça "théorie des automates, logique temporelle, probabilités (chaînes de Markov et compagnie)..." en master 1 et 2
mais le model checking ça m'évoque rien comme ça, et puis j'ai l'impression d'avoir quasiment tout oublié pourtant ça fait que 2 ans et demi ...
la logique temporelle c'est vraiment un bon morceau, c'est pas complexe en soit mais la gymanistique du cerveau et de projection dans le temps est assez éprouvante.
[^] # Re: cursus de base ?
Posté par mirak mirak . En réponse à la dépêche Prix Turing 2007 pour la vérification de modèles. Évalué à 5.
mais le model checking ça m'évoque rien comme ça, et puis j'ai l'impression d'avoir quasiment tout oublié pourtant ça fait que 2 ans et demi ...
la logique temporelle c'est vraiment un bon morceau, c'est pas complexe en soit mais la gymanistique du cerveau et de projection dans le temps est assez éprouvante.