Borne in mind

Основы логистики

The criterion for the effectiveness of the verification can serve, for example, a probabilistic-temporal criterion, however, the practical difficulties of applying these criteria that increase with increasing the complexity of the verified system should be borne in mind.