Tahar, Sofiène

Vérification formelle des systèmes cyber-physiques

Nous nous intéressons au développement de techniques et d’outils pour la vérification formelle des systèmes cyber-physiques. En particulier, nous visons à développer des méthodes avancées pour la modélisation, l’analyse et la vérification du matériel, des logiciels intégrés et des composants physiques (optiques, analogiques, etc.) des systèmes de sécurité critiques.