Метод доказательства инвариантности линейных неравенств для линейных циклов

Львов М.С.
Метод доказательства инвариантности линейных неравенств для линейных циклов

Вид документа: Стаття періодичного видання
Рiк видання: 2014
Автор: Львов М.С. Вид автора: персона
Мова: Російська Обсяг: С.180-185
Шифр: 519.7 УДК: 519.7

Аннотацiя:

статический анализ программ, линейные инварианты циклов, инвариантные системы линейных неравенств

Є складовою частиною документа: Кибернетика и системный анализ