Assertion: software | /r/CapableOf | achieve its goals
Facets:
value: without any bugs
type: OTHER
value: without gaps
type: OTHER
Source sentences:
text: In simple terms, software verification is: "Assuming we should build X, does our software achieve its goals without any bugs or gaps?"