Assertion: abstraction | /r/CapableOf | simulate the real
Facets:
Source sentences:
text: A problem with abstraction model checking is that although the abstraction simulates the real, when the abstraction does not satisfy a property, it does not mean that this property actually fails in the real model.