Сайт бібліотеки  >  Електронний каталог  >  Опис документа

Опис документа

Крывый С.Л., Максимец А.Н.
Верификация программ : состояние, проблемы, результаты. II

Вид документа:  Складова частина документа 
Мова:  Російська  Обсяг:  С. 11-20 
УДК:  51.681 

Аннотацiя:

Рассмотрены современные методы верификации программного обеспечения последовательных, функциональных, параллельных и распределительных систем.Основное внимание уделяется методам верификации на основе свойств абстрактных интерпритаций, транзиционных систем, сетей Петри.

Є складовою частиною документа Кибернетика и системный анализ [Текст] : междунар. науч.-теорет. журн. Т. 48. № 1 / НАН Украины, Ин-т кибернетики им. В. М. Глушкова. — К, 2014.

Теми документа

• УДК/5 Математика та природничi науки/51 Математика