Assertion: computer's program | /r/HasProperty | terminated
Facets:
Source sentences:
text: If the operating system detects that a program has tried to alter memory that does not belong to it, the program is terminated (or otherwise restricted or redirected).