Assertion: software | /r/CapableOf | satisfy all the expected requirements
Facets:
value: fully
type: MANNER
Source sentences:
text: Software verification is a discipline of software engineering whose goal is to assure that software fully satisfies all the expected requirements.