Automatic Detection of Vulnerable Variables for CTL Properties of Programs. - Naïm Moussaoui Remil; Caterina Urban; Antoine Miné (LPAR, 2024)