Das Buch "Methods and Procedures for the Verification and Validation of Artificial Neural Networks" bietet eine umfassende Einführung in die Methoden und Verfahren zur Überprüfung und Validierung von künstlichen neuronalen Netzwerken. Es adressiert die Herausforderungen, die mit der Verifizierung und Validierung (V&V) von Systemen verbunden sind, die auf neuronalen Netzwerken basieren, insbesondere in sicherheitskritischen und missionskritischen Anwendungen. In Anbetracht der Tatsache, dass derzeit keine Standards für die V&V von neuronalen Netzwerken existieren, stellt dieses Werk einen wichtigen Schritt in der Forschung dar, die von der NASA Independent Verification and Validation Facility in Auftrag gegeben wurde. Der Autor, Brian J. Taylor, präsentiert vielversprechende Techniken und Methoden, die für die V&V von adaptiven Systemen relevant sind. Dieses Buch ist der erste Teil einer Reihe, die darauf abzielt, eine umfassende Anleitung zur V&V von neuronalen Netzwerken zu bieten, die mit den IEEE-Standards für Softwareverifizierung und -validierung in Einklang steht.