Верификация программ: состояние, проблемы, результаты. II
Рассмотрены современные методы верификации программного обеспечения последовательных, функциональных, параллельных и распределенных систем. Основное внимание уделяется методам верификации на основе свойств абстрактных интерпретаций, транзиционных систем, сетей Петри. Розглянуто сучасні методи верифі...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2014 |
| Main Authors: | , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2014
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/115730 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Верификация программ: состояние, проблемы, результаты. II / С.Л. Крывый, А.Н. Максимец // Кибернетика и системный анализ. — 2014. — Т. 50, № 1. — С. 11-20. — Бібліогр.: 11 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Summary: | Рассмотрены современные методы верификации программного обеспечения последовательных, функциональных, параллельных и распределенных систем. Основное внимание уделяется методам верификации на основе свойств абстрактных интерпретаций, транзиционных систем, сетей Петри.
Розглянуто сучасні методи верифікації програмного забезпечення послідовних, функціональних, паралельних та розподілених систем. Основну увагу приділено методам верифікації на основі властивостей абстрактних інтерпретацій, транзиційних систем, мереж Петрі.
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.
|
|---|