Статическая проверка требований и подходы к решению проблемы достижимости
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Статическая проверка требований и подходы к решению проблемы достижимости
|
|
| Creator |
Потиенко, С.В.
|
|
| Subject |
Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем
|
|
| 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. |
|
| Date |
2010-04-19T12:13:54Z
2010-04-19T12:13:54Z 2009 |
|
| Type |
Article
|
|
| Identifier |
Статическая проверка требований и подходы к решению проблемы достижимости / С.В. Потиенко // Штучний інтелект. — 2009. — № 1. — С. 192-197. — Бібліогр.: 7 назв. — рос.
1561-5359 http://dspace.nbuv.gov.ua/handle/123456789/7838 519.685.4 |
|
| Language |
ru
|
|
| Publisher |
Інститут проблем штучного інтелекту МОН України та НАН України
|
|