Robinette, P. K., Lopez, D. M., Serbinowska, S. ., Leach, K. ., & Johnson, T. . (2024). Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets. FormalISE.