Verifying a platform for digital imaging: a multi-tool strategy | Read Paper on Bytez