Верификация программ: состояние, проблемы, результаты. I
Представлено аналiтичний огляд сучасних методiв верифiкацiї програмного забезпечення послiдовних, функцiональних, паралельних та розподiлених систем. Основну увагу придiлено методам верифiкацiї на основi властивостей абстрактних iнтерпретацiй, транзицiйних систем, мереж Петрi. An analytical survey o...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2013 |
| Main Authors: | , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2013
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/86285 |
| 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: | Верификация программ: состояние, проблемы, результаты. I / С.Л. Крывый, А.Н. Максимец // Кибернетика и системный анализ. — 2013. — Т. 49, № 6. — С. 3-14. — Бібліогр.: 20 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862580068191043584 |
|---|---|
| author | Крывый, С.Л. Максимец, А.Н. |
| author_facet | Крывый, С.Л. Максимец, А.Н. |
| citation_txt | Верификация программ: состояние, проблемы, результаты. I / С.Л. Крывый, А.Н. Максимец // Кибернетика и системный анализ. — 2013. — Т. 49, № 6. — С. 3-14. — Бібліогр.: 20 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| 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.
|
| first_indexed | 2025-11-26T20:11:47Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-86285 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | Russian |
| last_indexed | 2025-11-26T20:11:47Z |
| publishDate | 2013 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Крывый, С.Л. Максимец, А.Н. 2015-09-12T17:31:15Z 2015-09-12T17:31:15Z 2013 Верификация программ: состояние, проблемы, результаты. I / С.Л. Крывый, А.Н. Максимец // Кибернетика и системный анализ. — 2013. — Т. 49, № 6. — С. 3-14. — Бібліогр.: 20 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/86285 51.681.3 Представлено анал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. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Кибернетика Верификация программ: состояние, проблемы, результаты. I Верифікація програм: стан, проблеми, результати Program verification: State of the art, problems, results Article published earlier |
| spellingShingle | Верификация программ: состояние, проблемы, результаты. I Крывый, С.Л. Максимец, А.Н. Кибернетика |
| title | Верификация программ: состояние, проблемы, результаты. I |
| title_alt | Верифікація програм: стан, проблеми, результати Program verification: State of the art, problems, results |
| title_full | Верификация программ: состояние, проблемы, результаты. I |
| title_fullStr | Верификация программ: состояние, проблемы, результаты. I |
| title_full_unstemmed | Верификация программ: состояние, проблемы, результаты. I |
| title_short | Верификация программ: состояние, проблемы, результаты. I |
| title_sort | верификация программ: состояние, проблемы, результаты. i |
| topic | Кибернетика |
| topic_facet | Кибернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/86285 |
| work_keys_str_mv | AT kryvyisl verifikaciâprogrammsostoânieproblemyrezulʹtatyi AT maksimecan verifikaciâprogrammsostoânieproblemyrezulʹtatyi AT kryvyisl verifíkacíâprogramstanproblemirezulʹtati AT maksimecan verifíkacíâprogramstanproblemirezulʹtati AT kryvyisl programverificationstateoftheartproblemsresults AT maksimecan programverificationstateoftheartproblemsresults |