Verifying Conformance of Neural Network Models: Invited Paper | IEEE Conference Publication | IEEE Xplore