Assertion: semaphore's use | /r/CapableOf | reduce the chance
Facets:
Source sentences:
text: The use of a bounded semaphore reduces the chance that a programming error which causes the semaphore to be released more than it's acquired will go undetected.