Artificial intelligence (AI). Assessment of the robustness of neural networks. - Part 2: Methodology for the use of formal methods