Thomas Genet
IdRefMots clés
FR |
EN
Réécriture, Systèmes de (informatique)
Logiciels -- Vérification
Réécriture
Analyse statique
Vérification de modèles (informatique)
Vérification formelle
Langages non réguliers d’arbres
Stratégie de réécriture
Analyse d’accessibilité
Analyse des systèmes
Filtrage par motif
Transformation de programmes
Sémantique de motif
Spécifications algébriques
Langages de programmation -- Syntaxe
Motifs (mathématiques)
Algèbre
Protocoles cryptographiques
Sécurité
Signatures électroniques