A Review of Abstraction Methods Toward Verifying Neural Networks. - Boudardara, Fateh; Boussif, Abderraouf; Meyer, Pierre-Jean; Ghazel, Mohamed (ACM Transactions on Embedded Computing Systems, 2024)