Верификация программ: состояние, проблемы, результаты. II
Рассмотрены современные методы верификации программного обеспечения последовательных, функциональных, параллельных и распределенных систем. Основное внимание уделяется методам верификации на основе свойств абстрактных интерпретаций, транзиционных систем, сетей Петри. Розглянуто сучасні методи верифі...
Збережено в:
| Опубліковано в: : | Кибернетика и системный анализ |
|---|---|
| Дата: | 2014 |
| Автори: | , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2014
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/115730 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Верификация программ: состояние, проблемы, результаты. II / С.Л. Крывый, А.Н. Максимец // Кибернетика и системный анализ. — 2014. — Т. 50, № 1. — С. 11-20. — Бібліогр.: 11 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862624702610014208 |
|---|---|
| author | Крывый, С.Л. Максимец, А.Н. |
| author_facet | Крывый, С.Л. Максимец, А.Н. |
| citation_txt | Верификация программ: состояние, проблемы, результаты. II / С.Л. Крывый, А.Н. Максимец // Кибернетика и системный анализ. — 2014. — Т. 50, № 1. — С. 11-20. — Бібліогр.: 11 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| description | Рассмотрены современные методы верификации программного обеспечения последовательных, функциональных, параллельных и распределенных систем. Основное внимание уделяется методам верификации на основе свойств абстрактных интерпретаций, транзиционных систем, сетей Петри.
Розглянуто сучасні методи верифікації програмного забезпечення послідовних, функціональних, паралельних та розподілених систем. Основну увагу приділено методам верифікації на основі властивостей абстрактних інтерпретацій, транзиційних систем, мереж Петрі.
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.
|
| first_indexed | 2025-12-07T13:33:37Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-115730 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| language | Russian |
| last_indexed | 2025-12-07T13:33:37Z |
| publishDate | 2014 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Крывый, С.Л. Максимец, А.Н. 2017-04-11T18:39:38Z 2017-04-11T18:39:38Z 2014 Верификация программ: состояние, проблемы, результаты. II / С.Л. Крывый, А.Н. Максимец // Кибернетика и системный анализ. — 2014. — Т. 50, № 1. — С. 11-20. — Бібліогр.: 11 назв. — рос. https://nasplib.isofts.kiev.ua/handle/123456789/115730 51.681.3 Рассмотрены современные методы верификации программного обеспечения последовательных, функциональных, параллельных и распределенных систем. Основное внимание уделяется методам верификации на основе свойств абстрактных интерпретаций, транзиционных систем, сетей Петри. Розглянуто сучасні методи верифікації програмного забезпечення послідовних, функціональних, паралельних та розподілених систем. Основну увагу приділено методам верифікації на основі властивостей абстрактних інтерпретацій, транзиційних систем, мереж Петрі. 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. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Кибернетика Верификация программ: состояние, проблемы, результаты. II Верифікація програм: стан, проблеми, результати. II Program verification: State of the art, problems, and results. II Article published earlier |
| spellingShingle | Верификация программ: состояние, проблемы, результаты. II Крывый, С.Л. Максимец, А.Н. Кибернетика |
| title | Верификация программ: состояние, проблемы, результаты. II |
| title_alt | Верифікація програм: стан, проблеми, результати. II Program verification: State of the art, problems, and results. II |
| title_full | Верификация программ: состояние, проблемы, результаты. II |
| title_fullStr | Верификация программ: состояние, проблемы, результаты. II |
| title_full_unstemmed | Верификация программ: состояние, проблемы, результаты. II |
| title_short | Верификация программ: состояние, проблемы, результаты. II |
| title_sort | верификация программ: состояние, проблемы, результаты. ii |
| topic | Кибернетика |
| topic_facet | Кибернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/115730 |
| work_keys_str_mv | AT kryvyisl verifikaciâprogrammsostoânieproblemyrezulʹtatyii AT maksimecan verifikaciâprogrammsostoânieproblemyrezulʹtatyii AT kryvyisl verifíkacíâprogramstanproblemirezulʹtatiii AT maksimecan verifíkacíâprogramstanproblemirezulʹtatiii AT kryvyisl programverificationstateoftheartproblemsandresultsii AT maksimecan programverificationstateoftheartproblemsandresultsii |