Thèse effectuée au CEA-LIST, dans le Laboratoire de Sûreté du Logiciel
Sujet : Vérification formelle, compositionnelle et automatique de systèmes de composants
Directrice et encadrants : Christine Paulin-Mohring, Franck Védrine (Prénom.Nom [at] cea [dot] fr) et Loïc Correnson (Prénom.Nom [at] cea [dot] fr)
Résumé : Développer des méthodologies et des outils pour aider à la preuve de propriétés de descriptions mélangeant hardware et software (Systèmes-sur-Puce)
Mots clefs : model checking, interprétation abstraite, SystemC
Manuscrit de thèse : these-ayache.pdf
Diapositives de soutenance : soutenance-ayache.pdf
Développement Coq :