Верификация программ: состояние, проблемы, экспериментальные результаты. II

dc.contributor.author	Максимец, А.Н.
dc.date.accessioned	2015-09-30T13:54:29Z
dc.date.available	2015-09-30T13:54:29Z
dc.date.issued	2014
dc.identifier.citation	Верификация программ: состояние, проблемы, экспериментальные результаты. II / А.Н. Максимец // Проблеми програмування. — 2014. — № 1. — С. 76-89. — Бібліогр.: 7 назв. — рос.	uk_UA
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/86742
dc.description.abstract	Рассматриваются алгоритмы поиска инвариантных соотношений в программах с простыми переменными, которые относятся к методам анализа потоков данных и верификации. Приводится краткий обзор таких методов и примеры для иллюстрации работы предлагаемых алгоритмов.	uk_UA
dc.language.iso	ru	uk_UA
dc.publisher	Інститут програмних систем НАН України	uk_UA
dc.relation.ispartof	Проблеми програмування
dc.subject	Верифікація програм	uk_UA
dc.title	Верификация программ: состояние, проблемы, экспериментальные результаты. II	uk_UA
dc.title.alternative	Verification of programs: status, problems and experimental results. II	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	51.681.3