Разработка инструментальных средств для проверки формальных моделей
Разработан программный комплекс для автоматической проверки динамических свойств формальных моделей и построения тестовых сценариев. Описаны методы направленного поиска, а так же методы оптимизации обхода пространства поведения....
Gespeichert in:
| Datum: | 2008 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russian |
| Veröffentlicht: |
Інститут програмних систем НАН України
2008
|
| Schriftenreihe: | №2-3 |
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/1495 |
| 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: | Разработка инструментальных средств для проверки формальных моделей / А.В. Колчин // Пробл. програмув. — 2008. — N 2-3. — С. 622-626. — Бібліогр.: 25 назв. — рус. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-1495 |
|---|---|
| record_format |
dspace |
| fulltext |
|
| spelling |
nasplib_isofts_kiev_ua-123456789-14952025-02-09T12:22:22Z Разработка инструментальных средств для проверки формальных моделей Developing software tools for model checking Колчин, А.В. Інструментальні засоби і середовища програмування Разработан программный комплекс для автоматической проверки динамических свойств формальных моделей и построения тестовых сценариев. Описаны методы направленного поиска, а так же методы оптимизации обхода пространства поведения. Software for automated checking of dynamic properties of formal models together with test scenarios generation developed. Guided search and optimizing solutions on behavior space traversal described. 2008 Article Разработка инструментальных средств для проверки формальных моделей / А.В. Колчин // Пробл. програмув. — 2008. — N 2-3. — С. 622-626. — Бібліогр.: 25 назв. — рус. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1495 519.686.2 ru №2-3 С. 622-626 application/pdf Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Інструментальні засоби і середовища програмування Інструментальні засоби і середовища програмування |
| spellingShingle |
Інструментальні засоби і середовища програмування Інструментальні засоби і середовища програмування Колчин, А.В. Разработка инструментальных средств для проверки формальных моделей №2-3 |
| description |
Разработан программный комплекс для автоматической проверки динамических свойств формальных моделей и построения
тестовых сценариев. Описаны методы направленного поиска, а так же методы оптимизации обхода пространства поведения. |
| format |
Article |
| author |
Колчин, А.В. |
| author_facet |
Колчин, А.В. |
| author_sort |
Колчин, А.В. |
| title |
Разработка инструментальных средств для проверки формальных моделей |
| title_short |
Разработка инструментальных средств для проверки формальных моделей |
| title_full |
Разработка инструментальных средств для проверки формальных моделей |
| title_fullStr |
Разработка инструментальных средств для проверки формальных моделей |
| title_full_unstemmed |
Разработка инструментальных средств для проверки формальных моделей |
| title_sort |
разработка инструментальных средств для проверки формальных моделей |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2008 |
| topic_facet |
Інструментальні засоби і середовища програмування |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/1495 |
| citation_txt |
Разработка инструментальных средств для проверки формальных моделей / А.В. Колчин // Пробл. програмув. — 2008. — N 2-3. — С. 622-626. — Бібліогр.: 25 назв. — рус. |
| series |
№2-3 |
| work_keys_str_mv |
AT kolčinav razrabotkainstrumentalʹnyhsredstvdlâproverkiformalʹnyhmodelej AT kolčinav developingsoftwaretoolsformodelchecking |
| first_indexed |
2025-11-25T23:28:43Z |
| last_indexed |
2025-11-25T23:28:43Z |
| _version_ |
1849806893868908544 |