Assertion: design | /r/HasProperty | verifiable
Facets:
Source sentences:
text: Show that the design is verifiable and that the risks have been identified, characterized, and mitigated where appropriate