Methods and Procedures for the Verification and Validation of Artificial Neural Networks