Fig. 10From: Bounded model checking for fixed-point digital filtersSummary of the results of all benchmarks, per verification categoryBack to article page