Erika Ábrahám
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Instanciation des quantificateurs
Production des preuves
Automatisation des preuves
Résolution SMT
Vérification formelle
Théorèmes -- Démonstration automatique
Solveurs (logiciels)
Systèmes experts (informatique)
Modélisation des données (informatique)
Méthodes formelles
Vérification de modèles (informatique)
Systèmes sur Puce (SoCs)
Vérification Basée sur Assertions (ABV)
Modélisation au Niveau Transactionnel (TLM)
Contracts et Spécifications
Simulation Précoce
Stubbing
Systèmes sur puce
Automates hybrides