Fig. 3From: Formal analysis of 2D image processing filters using higher-order logic theorem provingFlow graph of a specialized second-order image processing filterBack to article page