Верификация программ: состояние, проблемы, результаты. II
Рассмотрены современные методы верификации программного обеспечения последовательных, функциональных, параллельных и распределенных систем. Основное внимание уделяется методам верификации на основе свойств абстрактных интерпретаций, транзиционных систем, сетей Петри. Розглянуто сучасні методи верифі...
Gespeichert in:
| Veröffentlicht in: | Кибернетика и системный анализ |
|---|---|
| Datum: | 2014 |
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2014
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/115730 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Верификация программ: состояние, проблемы, результаты. II / С.Л. Крывый, А.Н. Максимец // Кибернетика и системный анализ. — 2014. — Т. 50, № 1. — С. 11-20. — Бібліогр.: 11 назв. — рос. |
Institution
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 |