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

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

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

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

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

УДК: 51.681.3

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

Посилання: Верификация программ: состояние, проблемы, результаты. II / С.Л. Крывый, А.Н. Максимец // Кибернетика и системный анализ. — 2014. — Т. 50, № 1. — С. 11-20. — Бібліогр.: 11 назв. — рос.

Дата: 2014

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

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

Анотація:

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

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

An analytical survey of modern verification methods for sequential functional, reactive, and distributed systems is presented. The emphasis is on methods based on properties of abstract interpretation, transition systems, and Petri nets.

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