Book Details

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

Publication year: 2006

ISBN: 978-0-387-29485-8

Internet Resource: Please Login to download book


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.


Subject: Computer Science, Adaptive systems, artificial intelligence, formal method, learning, software verification, verification, visualization