Эта публикация цитируется в 1 статье

Верификация программ методом инвариантов

А. М. Миронов

Институт проблем информатики РАН

Аннотация: Излагается метод инвариантов для доказательства правильности компьютерных программ. Основные концепции, связанные с этим методом, иллюстрированы примерами верификации последовательных и параллельных программ.

Ключевые слова: верификация программ, метод Флойда, инварианты.