2025-02-22T17:32:55-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-113225%22&qt=morelikethis&rows=5
2025-02-22T17:32:55-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-113225%22&qt=morelikethis&rows=5
2025-02-22T17:32:55-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-22T17:32:55-05:00 DEBUG: Deserialized SOLR response
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем
Описан метод выявления таких патологий формальных моделей, как неполнота и противоречивость, а так же гонки в параллельных процессах. Метод реализует проверку свойств на основании анализа описания переходов модели, при этом не строит пространство ее состояний....
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2014
|
| Series: | Проблеми програмування |
| Subjects: | |
| Online Access: | http://dspace.nbuv.gov.ua/handle/123456789/113225 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
irk-123456789-113225 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1132252017-02-05T03:02:55Z Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем Колчин, А.В. Летичевский, А.А. Потиенко, С.В. Формальні методи програмування Описан метод выявления таких патологий формальных моделей, как неполнота и противоречивость, а так же гонки в параллельных процессах. Метод реализует проверку свойств на основании анализа описания переходов модели, при этом не строит пространство ее состояний. The paper describes a new method for discovering of incompleteness, inconsistency and race conditions in formal models. The method implements the properties checking basing on model transitions description, and does not traverse model state space. 2014 Article Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем / А.В. Колчин, А.А. Летичевский, С.В. Потиенко // Проблеми програмування. — 2014. — № 2-3. — С. 146-150. — Бібліогр.: 10 назв. — рос. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/113225 004.415.5 ru Проблеми програмування Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Формальні методи програмування Формальні методи програмування |
| spellingShingle |
Формальні методи програмування Формальні методи програмування Колчин, А.В. Летичевский, А.А. Потиенко, С.В. Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем Проблеми програмування |
| description |
Описан метод выявления таких патологий формальных моделей, как неполнота и противоречивость, а так же гонки в параллельных процессах. Метод реализует проверку свойств на основании анализа описания переходов модели, при этом не строит пространство ее состояний. |
| format |
Article |
| author |
Колчин, А.В. Летичевский, А.А. Потиенко, С.В. |
| author_facet |
Колчин, А.В. Летичевский, А.А. Потиенко, С.В. |
| author_sort |
Колчин, А.В. |
| title |
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем |
| title_short |
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем |
| title_full |
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем |
| title_fullStr |
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем |
| title_full_unstemmed |
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем |
| title_sort |
метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2014 |
| topic_facet |
Формальні методи програмування |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/113225 |
| citation_txt |
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем / А.В. Колчин, А.А. Летичевский, С.В. Потиенко // Проблеми програмування. — 2014. — № 2-3. — С. 146-150. — Бібліогр.: 10 назв. — рос. |
| series |
Проблеми програмування |
| work_keys_str_mv |
AT kolčinav metodstatičeskojproverkipolnotyineprotivorečivostivformalʹnyhmodelâhraspredelennyhprogrammnyhsistem AT letičevskijaa metodstatičeskojproverkipolnotyineprotivorečivostivformalʹnyhmodelâhraspredelennyhprogrammnyhsistem AT potienkosv metodstatičeskojproverkipolnotyineprotivorečivostivformalʹnyhmodelâhraspredelennyhprogrammnyhsistem |
| first_indexed |
2024-03-30T09:26:05Z |
| last_indexed |
2024-03-30T09:26:05Z |
| _version_ |
1796149968731373568 |