Applications of AI: Software Verifiability Point of View | IEEE Conference Publication | IEEE Xplore