Laurence Pierre
Mots clés
FR |
EN
Méthodes formelles
Méthodes formelles (informatique)
Sécurité
SystemC
TLM
Vérification
ABV
Informatique -- Appareils et matériel
Ingénierie dirigée par les modèles
Internet des objets
Protection de l'information (informatique)
Assertion-Based Verification
Vérification formelle
Vérification à base d'assertions
Raffinement
RTL
PSL
Microélectronique
Nanoélectronique
Vérification de programme