Compositional Abstraction Refinement for Component-Based Systems

Table 2

Simple table.

	Original	Abstract	Refined
Property_1	EFΦ𝑐1
Result	True	True	True
Time (s)	0.046	0.001	0.001
Memory (KB)	8,056	7,084	7,084
Property_2	EFΦ𝑐2
Result	False	False	False
Time (s)	0.044	0.001	0.001
Memory (KB)	8,060	7,088	7,072
Property_3	EFΦ𝑐3
Result	False	False	False
Time (s)	0.045	0.001	0.001
Memory (KB)	8,064	7,084	7,072