Assertion: operating system's application | /r/HasProperty | verified
Facets:
Source sentences:
text: Applications must be verified when they are started to ensure they have been compiled by the correct compiler, or may need recompiling either from source code or from bytecode.