Assertion: software's use | /r/HasProperty | high-level checking
Facets:
Source sentences:
text: Software validation checks that the software product satisfies or fits the intended use (high-level checking)