Alain Giorgetti
IdRefMots clés
FR |
EN
Frama-C
C (langage de programmation)
Méthodes formelles
Analyse statique
Logiciels -- Vérification
Optimisation
Informatique quantique
Intrication quantique
Vérification déductive
Preuve de programmes
Méthodes formelles (informatique)
Multi- échelle
Réseau
Nanosystèmes
Modèle asymptotique
Technique de ré-écriture
Extension combinaison
Modèle primaire
Mince-domaine
Caractéristique