Assertion: algorithm | /r/CapableOf | determine given that assumption
Facets:
Source sentences:
text: Given that assumption, the algorithm determines if a state is safe by trying to find a hypothetical set of requests by the processes that would allow each to acquire its maximum resources and then terminate (returning its resources to the system).