Assertion: semaphore's value | /r/HasProperty | modified by any process
Facets:
Source sentences:
text: Semaphore variable value can be modified by any process that acquires or releases resource by performing wait() and signal() operation.
text: But the value of the semaphore variable can be modified by any process that needs some resource but only one process can change the value at a time.