Fig. 4From: Bounded model checking for fixed-point digital filtersThe proposed approach implemented in DSVerifierBack to article page