Towards Automatic Deductive Verification of C Programs over Linear Arrays | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Kondratyev D. A.

Nepomniaschy V.

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

1

Вид:

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

Год:

2019

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

циклический

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

устранение

смешанный

аксиоматическая семантика

определенный

итерация

сортировка

дедуктивная верификация

lemma discovery

array sorting program

definite iteration

Стр.:

P.232-242

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

Bibliogr.: p.241-242

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

Источник:

Том:

11964

Карточка:

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

Towards Automatic Deductive Verification of C Programs over Linear Arrays-Berlin.// LNCS, 2019.-Vol. 11964.-P.232-242
Bibliogr.: p.241-242