170
A. Cimatti et al.
Fig. 5: Comparison on the general category (consistency checking on the first
row and compatibility checking on the second).
Fig. 6: Comparison between time and memory consuption of TRICker (consistency checking on the left and compatibility checking on the right).
Fig. 7: Comparison on parameter synthesis.
A. Cimatti et al.
Fig. 5: Comparison on the general category (consistency checking on the first
row and compatibility checking on the second).
Fig. 6: Comparison between time and memory consuption of TRICker (consistency checking on the left and compatibility checking on the right).
Fig. 7: Comparison on parameter synthesis.