web address of the page
http://jnas.nbuv.gov.ua/article/UJRN-0001314638
Cybernetics and Systems Analysis 
А - 2019 /
Issue (2014, Т. 50, № 1)
Крывый С. Л., Максимец А. Н.
Верификация программ: состояние, проблемы, результаты. II
Наведено аналітичний огляд сучасних методів верифікації програмного забезпечення послідовних, функціональних, паралельних і розподілених систем. Увагу приділено методам верифікації на основі властивостей абстрактних інтерпретацій, транзиційних систем, мереж Петрі.
Рассмотрены современные методы верификации программного обеспечения последовательных, функциональных, параллельных и распределенных систем. Основное внимание уделено методам верификации на основе свойств абстрактных интерпретаций, транзиционных систем, сетей Петри.
Бібліографічний опис:
Крывый С. Л., Максимец А. Н. Верификация программ: состояние, проблемы, результаты. II. Кибернетика и системный анализ. 2014. Т. 50, № 1. С. 11-20. URL: http://jnas.nbuv.gov.ua/article/UJRN-0001314638
PDF
Transliteration