Assertion: semaphore's value | /r/HasProperty | modified by two functions
Facets:
Source sentences:
text: Semaphore is typically an integer variable S that is initialized to the number of resources present in the system and the value of semaphore can be modified only by two functions
text: The value of semaphore S can be modified only by two functions wait() and signal() apart from initialization.
text: The value of semaphore can be modified only by two functions: wait () and signal () apart from initialization.
text: The value of semaphore can be modified only by two functions, namely wait() and signal() operations (apart from the initialization).