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

Вы здесь

Автор:

Kondratyev D. A.

Nepomniaschy V.

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

1

Вид:

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

Год:

2019

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

циклический

инвариант

смешанный

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

сортировка

верификация

логика хоара

Стр.:

P.162-171

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

Bibliogr.: p.171

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

Источник:

PSI'19 Preliminary Proc.

Карточка:

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

Towards Automatic Deductive Verification of C Programs Over Linear Arrays-Novosibirsk.// PSI'19 Preliminary Proc., 2019.-P.162-171
Bibliogr.: p.171