Neural network verification for nonlinear systems