Assertion: model's property | /r/HasProperty | provided to the model checker
Facets:
Source sentences:
text: When used for testing, a model of the system under test, and a property to test is provided to the model checker.