Building Scalable and Automated Verification Tools for Healthcare Imaging Systems. - Shi H; Woods D; Egan C; Wilson A (Studies in health technology and informatics, 2026)