Guidance for the Verification and Validation of Neural Networks: Pullum/Guidance for the Verification and Validation of Neural Networks