Assertion: integrity | /r/HasProperty | verified throughout system development
Facets:
Source sentences:
text: The concept of 'dangerous failure' must be rigorously defined for the system in question, normally in the form of requirement constraints whose integrity is verified throughout system development.