В статье представлен и обоснован эффективный и полный алгоритм генерации условия корректности, который может использоваться в обоих случаях (то есть в неструктурированном так же, как в структурном детерминированном). Сложность алгоритма линейно зависит от числа управляющих конструкций и/или операторов программы.
