Neural networks are members of a class of software that have the potential to enable intelligent computational systems capable of simulating characteristics of biological thinking and learning.  Currently no standards exist to verify and validate neural network-based systems.   NASA Independent Verification and Validation Facility has contracted the Institute for Scientific Research, Inc. to perform research on this topic and develop a comprehensive guide to performing V&V on adaptive systems, with emphasis on neural networks used in safety-critical or mission-critical applications.

Methods and Procedures for the Verification and Validation of Artificial Neural Networks is the culmination of the first steps in that research. This volume introduces some of the more promising methods and techniques used for the verification and validation (V&V) of neural networks and adaptive systems.  A comprehensive guide to performing V&V on neural network systems, aligned with the IEEE Standard for Software Verification and Validation, will follow this book. The NASA IV&V and the Institute for Scientific Research, Inc. are working to be at the forefront of software safety and assurance for neural network and adaptive systems.

Methods and Procedures for the Verification and Validation of Artificial Neural Networks is structured for research scientists and V&V practitionersin industry to assure neural network software systems for future NASA missions and other applications. This book is also suitable for graduate-level students in computer science and computer engineering.