Proving Reliability of Image Processing Techniques in Digital Forensics Applications

Figure 5

Example 2: translating the RGB image to matrix and Coq definition gsimage. (a) RGB image. (b) Binary image matrix. (c) Coq definitions of the image.

(a)

(b)

(c)