When creating an Info file, it is easy to forget the name of a node when you are making a pointer to it from another node. If you put in the wrong name for a node, this is not detected until someone tries to go through the pointer using Info. Verification of the Info file is an automatic process which checks all pointers to nodes and reports any pointers which are invalid. Every ‘Next’, ‘Previous’, and ‘Up’ is checked, as is every menu item and every cross reference. In addition, any ‘Next’ which does not have a ‘Previous’ pointing back is reported. Only pointers within the file are checked, because checking pointers to other files would be terribly slow. But those are usually few.
To check an Info file, do M-x Info-validate while looking at any node of the file with Emacs Info mode.