Assertion: lurch | /r/CapableOf | use nondeterministic algorithm
Facets:
Source sentences:
text: Explanation: LURCH is a software design debugging tool that uses a nondeterministic algorithm to quickly explore the reachable states of a software model.