Catégorie Rapport Auteurs Valerie Viet Triem Tong Christophe Bidan Ludovic Mé Christopher Humphries https://centralesupelec.hal.science/hal-01172702v1 doc ID 1172702 Nom Analyse de logs guidée par des vérifications de formules de responsabilité exprimées en CTL Date de publication mar 14/02/2023 - 12:00