Статическая проверка требований и подходы к решению проблемы достижимости
Предложен метод статического анализа систем, представленных в формализме базовых протоколов.
 Построены алгоритмы проверки таких свойств систем, как непротиворечивость и полнота, а также
 выполнимость условий целостности. Рассмотрена проблема выявления и достижимости состояний&#x...
Saved in:
| Date: | 2009 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем штучного інтелекту МОН України та НАН України
2009
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/7838 |
| 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: | Статическая проверка требований и подходы к решению проблемы достижимости / С.В. Потиенко // Штучний інтелект. — 2009. — № 1. — С. 192-197. — Бібліогр.: 7 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862728055409082368 |
|---|---|
| author | Потиенко, С.В. |
| author_facet | Потиенко, С.В. |
| citation_txt | Статическая проверка требований и подходы к решению проблемы достижимости / С.В. Потиенко // Штучний інтелект. — 2009. — № 1. — С. 192-197. — Бібліогр.: 7 назв. — рос. |
| collection | DSpace DC |
| description | Предложен метод статического анализа систем, представленных в формализме базовых протоколов.
Построены алгоритмы проверки таких свойств систем, как непротиворечивость и полнота, а также
выполнимость условий целостности. Рассмотрена проблема выявления и достижимости состояний
системы, в которых нарушаются заданные свойства. Предложены подходы к решению проблемы
достижимости с помощью методов как статического анализа, так и проверки на модели.
A method of static analysis is suggested for the systems represented in a form of basic protocols. Algorithms
of checking properties of the system are built for consistency and completeness, satisfiability of safety
conditions. The problem of search and reachability of states of the system where given properties broken is
considered. Approaches to reachability problem solution are suggested using as static analysis as model
checking methods.
|
| first_indexed | 2025-12-07T19:07:12Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-7838 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1561-5359 |
| language | Russian |
| last_indexed | 2025-12-07T19:07:12Z |
| publishDate | 2009 |
| publisher | Інститут проблем штучного інтелекту МОН України та НАН України |
| record_format | dspace |
| spelling | Потиенко, С.В. 2010-04-19T12:13:54Z 2010-04-19T12:13:54Z 2009 Статическая проверка требований и подходы к решению проблемы достижимости / С.В. Потиенко // Штучний інтелект. — 2009. — № 1. — С. 192-197. — Бібліогр.: 7 назв. — рос. 1561-5359 https://nasplib.isofts.kiev.ua/handle/123456789/7838 519.685.4 Предложен метод статического анализа систем, представленных в формализме базовых протоколов.
 Построены алгоритмы проверки таких свойств систем, как непротиворечивость и полнота, а также
 выполнимость условий целостности. Рассмотрена проблема выявления и достижимости состояний
 системы, в которых нарушаются заданные свойства. Предложены подходы к решению проблемы
 достижимости с помощью методов как статического анализа, так и проверки на модели. A method of static analysis is suggested for the systems represented in a form of basic protocols. Algorithms
 of checking properties of the system are built for consistency and completeness, satisfiability of safety
 conditions. The problem of search and reachability of states of the system where given properties broken is
 considered. Approaches to reachability problem solution are suggested using as static analysis as model
 checking methods. ru Інститут проблем штучного інтелекту МОН України та НАН України Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем Статическая проверка требований и подходы к решению проблемы достижимости Static Requirements Checking and Approaches to Reachability Problem Article published earlier |
| spellingShingle | Статическая проверка требований и подходы к решению проблемы достижимости Потиенко, С.В. Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем |
| title | Статическая проверка требований и подходы к решению проблемы достижимости |
| title_alt | Static Requirements Checking and Approaches to Reachability Problem |
| title_full | Статическая проверка требований и подходы к решению проблемы достижимости |
| title_fullStr | Статическая проверка требований и подходы к решению проблемы достижимости |
| title_full_unstemmed | Статическая проверка требований и подходы к решению проблемы достижимости |
| title_short | Статическая проверка требований и подходы к решению проблемы достижимости |
| title_sort | статическая проверка требований и подходы к решению проблемы достижимости |
| topic | Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем |
| topic_facet | Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/7838 |
| work_keys_str_mv | AT potienkosv statičeskaâproverkatrebovaniiipodhodykrešeniûproblemydostižimosti AT potienkosv staticrequirementscheckingandapproachestoreachabilityproblem |