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

Домашня сторінка
→
Фізико-технічні та математичні науки
→
Відділення інформатики
→
Кибернетика и системный анализ
→
Кибернетика и системный анализ, 2013, том 49
→
Кибернетика и системный анализ, 2013, № 6
→
Переглянути статтю

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

Крывый, С.Л. ; Максимец, А.Н.

Інші назви: Верифікація програм: стан, проблеми, результати
Program verification: State of the art, problems, results

Тема: Кибернетика

УДК: 51.681.3

URI: http://dspace.nbuv.gov.ua/handle/123456789/86285

Посилання: Верификация программ: состояние, проблемы, результаты. I / С.Л. Крывый, А.Н. Максимец // Кибернетика и системный анализ. — 2013. — Т. 49, № 6. — С. 3-14. — Бібліогр.: 20 назв. — рос.

Дата: 2013

Завантажень: 533

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

Анотація:

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

An analytical survey of the modern verification methods for sequential functional, reactive, and distributed systems is presented. The main attention is given to the methods that are based on the properties of abstract interpretation, transition systems, and Petri nets.

Показати повний запис статті