Model Checking From Tools to Theory
. Automata/Logics. CS Theory. Algorithms/Complexity. Model Checking. Databases. Compilers. Linguistic/NLP. . . . . How has model checking influenced basic theory?Connecting tree automata, fixpoint logics, parity gamesTemporal logics and automata over infinite wordsData structures: OBDDsTimed and
Télécharger la présentation 
Politique de téléchargement : le contenu du site vous est fourni TEL QUEL pour votre information et votre usage personnel ; il ne peut être vendu, concédé sous licence ni partagé sur d’autres sites sans l’accord de son auteur.Le contenu vous est fourni TEL QUEL, pour votre information et votre usage personnel uniquement. Téléchargez la présentation en cliquant sur ce lien. Lors du téléchargement, si vous ne parvenez pas à télécharger une présentation, l’éditeur a peut-être supprimé le fichier de son serveur.Pendant le téléchargement, si vous ne parvenez pas à obtenir une présentation, le fichier a peut-être été supprimé par l’éditeur.
F I N