Верификация программ: состояние, проблемы, результаты. I
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Верификация программ: состояние, проблемы, результаты. I
|
|
| Creator |
Крывый, С.Л.
Максимец, А.Н. |
|
| Subject |
Кибернетика
|
|
| Description |
Представлено анал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. |
|
| Date |
2015-09-12T17:31:15Z
2015-09-12T17:31:15Z 2013 |
|
| Type |
Article
|
|
| Identifier |
Верификация программ: состояние, проблемы, результаты. I / С.Л. Крывый, А.Н. Максимец // Кибернетика и системный анализ. — 2013. — Т. 49, № 6. — С. 3-14. — Бібліогр.: 20 назв. — рос.
0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/86285 51.681.3 |
|
| Language |
ru
|
|
| Relation |
Кибернетика и системный анализ
|
|
| Publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України
|
|