Верификация программ: состояние, проблемы, результаты. 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| id |
nasplib_isofts_kiev_ua-123456789-115730 |
|---|---|
| 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 |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Верификация программ: состояние, проблемы, результаты. II |
| spellingShingle |
Верификация программ: состояние, проблемы, результаты. II Крывый, С.Л. Максимец, А.Н. Кибернетика |
| title_short |
Верификация программ: состояние, проблемы, результаты. II |
| title_full |
Верификация программ: состояние, проблемы, результаты. II |
| title_fullStr |
Верификация программ: состояние, проблемы, результаты. II |
| title_full_unstemmed |
Верификация программ: состояние, проблемы, результаты. II |
| title_sort |
верификация программ: состояние, проблемы, результаты. ii |
| author |
Крывый, С.Л. Максимец, А.Н. |
| author_facet |
Крывый, С.Л. Максимец, А.Н. |
| topic |
Кибернетика |
| topic_facet |
Кибернетика |
| publishDate |
2014 |
| language |
Russian |
| container_title |
Кибернетика и системный анализ |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| format |
Article |
| title_alt |
Верифікація програм: стан, проблеми, результати. II Program verification: State of the art, problems, and results. II |
| 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.
|
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/115730 |
| citation_txt |
Верификация программ: состояние, проблемы, результаты. II / С.Л. Крывый, А.Н. Максимец // Кибернетика и системный анализ. — 2014. — Т. 50, № 1. — С. 11-20. — Бібліогр.: 11 назв. — рос. |
| 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 |
| first_indexed |
2025-12-07T13:33:37Z |
| last_indexed |
2025-12-07T13:33:37Z |
| _version_ |
1850856615346962432 |