Research Article
Compositional Abstraction Refinement for Component-Based Systems
| ā | Original | Abstract | Refined |
| Property_1 | |
| Result | True | True | True | Time (s) | 0.046 | 0.001 | 0.001 | Memory (KB) | 8,056 | 7,084 | 7,084 |
| Property_2 | |
| Result | False | False | False | Time (s) | 0.044 | 0.001 | 0.001 | Memory (KB) | 8,060 | 7,088 | 7,072 |
| Property_3 | |
| Result | False | False | False | Time (s) | 0.045 | 0.001 | 0.001 | Memory (KB) | 8,064 | 7,084 | 7,072 |
|
|