Assertion: model's property | /r/HasProperty | valid
Facets:
value: in the model
type: LOCATION
value: in a model
type: OTHER
Source sentences:
text: Originally model checking was developed as a technique to check if a property of a specification is valid in a model.
text: Within the procedure of proofing, if this property is valid in the model, the model checker detects witnesses and counterexamples.