A Formal Verification Approach to Handle Attack Graphs. - Davide Catta; Jean Leneutre; Antonina Mijatovic; Johanna Ulin; Vadim Malvone (ICAART (3), 2024)