Вы здесь

Главная

инварианты циклов

Связанные издания:

Invariant Elimination of Definite Iterations over Arrays in C Programs Verification
Towards Automatic Deductive Verification of C Programs over Linear Arrays