A High Parallelization Method for Automated Formal Verification of Deep Neural Networks. - Imene Ben Hafaiedh; Amira Chouchane; Amani Elaoud; Linda Lamouchi; Mohamed Ghazel (VECoS, 2024)