19. The computer program product of claim 1 , further comprising: identifying a first subsystem and a second subsystem as being similar subsystems, the first subsystem being associated with a first helper assertion; generating a second helper assertion corresponding to the first helper assertion and associated with the second subsystem; and checking for an absence of the deadlock condition using the first and the second helper assertions.
19. The computer program product of claim 1 , further comprising: identifying a first subsystem and a second subsystem as being similar subsystems, the first subsystem being associated with a first helper assertion; generating a second helper assertion corresponding to the first helper assertion and associated with the second subsystem; and checking for an absence of the deadlock condition using the first and the second helper assertions. 20. The computer program product of claim 19 , further comprising: storing the second helper assertion in an assertion pool responsive to a determination that the second helper assertion is valid; and otherwise, requesting confirmation as to whether the second helper assertion is valid.