Verification method of neural network and verification apparatus thereof

Abstract

A verification method and a verification apparatus of a neural network for guaranteeing the operation of the neural network to any input signals which might be inputted. The neural network verification apparatus comprises a data file storage section for storing a verification data file DFK concerning on the structure of the neural network to be verified, a network structuring section for structuring a neural network NET to be verified by reading the neural network data file DFN from the data file storage section, an input data generating section for generating initial interval input vector database DBI by reading the verification data file DFK from the data file storage section, a verification executing section for executing the verification of the neural network NET based on the neural network NET structured by the network structuring section and the initial interval input vector database DBI created by the input data generating section and for generating a verification result database DBO based on the verification result, and others. The verification apparatus generates an interval input vector signal per input signal subspace which is obtained by dividing an input signal space formed by the input signal to the neural network NET into a plurality of input. signal subspaces and accumulates them in a stack.