Invariant Elimination of Definite Iterations over Arrays in C Programs Verification | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Nepomniaschy V. A.

Kondratyev D. A.

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

2018

Ключевые слова:

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

смешанный

семантика

аксиоматический

финитные итерации

спецификация

верификация

логика хоара

Стр.:

С.743-754

Библиография:

Библиогр: с.753-754

Место издания:

Ярославль

Серия:

Lecture Notes in Computer Science

Номер:

6

Том:

24

Карточка:

Б2.23.

Maryasov I. V., Nepomniaschy V. A., Kondratyev D. A..

Invariant Elimination of Definite Iterations over Arrays in C Programs Verification-Ярославль., 2018, №6.-Vol. 24.-С.743-754-(Lecture Notes in Computer Science).
Библиогр: с.753-754