Emmanuelle ENCRENAZ-TIPHENE

Ingénieur de l'École polytechnique féminine - Maître de conférences à l'Université Pierre et Marie Curie, Paris

  • Article de bases documentaires : H8250
    Méthodes formelles pour la vérification des systèmes embarqués

    Un système embarqué doit apporter la garantie de son bon fonctionnement. La mise en œuvre de méthodes de vérification formelles permet d’augmenter le degré de confiance de ces composants. Découvrez les trois classes de méthodes, leurs principes de base et les différents types de tests existants.