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

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0001314638
  Кибернетика и системный анализ      А - 2019  /     Випуск (2014, Т. 50, № 1)

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

Наведено аналітичний огляд сучасних методів верифікації програмного забезпечення послідовних, функціональних, паралельних і розподілених систем. Увагу приділено методам верифікації на основі властивостей абстрактних інтерпретацій, транзиційних систем, мереж Петрі.

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

Бібліографічний опис:
Крывый С. Л., Максимец А. Н. Верификация программ: состояние, проблемы, результаты. II. Кибернетика и системный анализ. 2014. Т. 50, № 1. С. 11-20. URL: http://jnas.nbuv.gov.ua/article/UJRN-0001314638

English  Cybernetics and Systems Analysis   /     Issue (2014, 50 (1))

translit Transliteration

Kryvyj S. L., Maksimets A. N.
Verifikatsija programm: sostojanie, problemy, rezultaty. II

Cite:
Kryvyj, S. L., Maksimets, A. N. (2014). Verifikatsija programm: sostojanie, problemy, rezultaty. II. Cybernetics and Systems Analysis, 50 (1), 11-20 http://jnas.nbuv.gov.ua/article/UJRN-0001314638 [In Russian].

 

Інститут інформаційних технологій НБУВ

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна