Proving Reliability of Image Processing Techniques in Digital Forensics Applications

Listing 18

Run-length of binary image (1 run first).

	Definition runlengthʹ (img: image): list nat :=
	alternate (runlenblack img nil) (runlenwhite img nil).