Разработка инструментальных средств для проверки формальных моделей
Разработан программный комплекс для автоматической проверки динамических свойств формальных моделей и построения
 тестовых сценариев. Описаны методы направленного поиска, а так же методы оптимизации обхода пространства поведения. Software for automated checking of dynamic properties of forma...
Збережено в:
| Дата: | 2008 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут програмних систем НАН України
2008
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/1495 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Разработка инструментальных средств для проверки формальных моделей / А.В. Колчин // Пробл. програмув. — 2008. — N 2-3. — С. 622-626. — Бібліогр.: 25 назв. — рус. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862564005522964480 |
|---|---|
| author | Колчин, А.В. |
| author_facet | Колчин, А.В. |
| citation_txt | Разработка инструментальных средств для проверки формальных моделей / А.В. Колчин // Пробл. програмув. — 2008. — N 2-3. — С. 622-626. — Бібліогр.: 25 назв. — рус. |
| collection | DSpace DC |
| description | Разработан программный комплекс для автоматической проверки динамических свойств формальных моделей и построения
тестовых сценариев. Описаны методы направленного поиска, а так же методы оптимизации обхода пространства поведения.
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.
|
| first_indexed | 2025-11-25T23:28:43Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-1495 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-11-25T23:28:43Z |
| publishDate | 2008 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Колчин, А.В. 2008-07-31T15:07:45Z 2008-07-31T15:07:45Z 2008 Разработка инструментальных средств для проверки формальных моделей / А.В. Колчин // Пробл. програмув. — 2008. — N 2-3. — С. 622-626. — Бібліогр.: 25 назв. — рус. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1495 519.686.2 Разработан программный комплекс для автоматической проверки динамических свойств формальных моделей и построения
 тестовых сценариев. Описаны методы направленного поиска, а так же методы оптимизации обхода пространства поведения. 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. ru Інститут програмних систем НАН України №2-3 С. 622-626 Інструментальні засоби і середовища програмування Разработка инструментальных средств для проверки формальных моделей Developing software tools for model checking Article published earlier |
| spellingShingle | Разработка инструментальных средств для проверки формальных моделей Колчин, А.В. Інструментальні засоби і середовища програмування |
| title | Разработка инструментальных средств для проверки формальных моделей |
| title_alt | Developing software tools for model checking |
| title_full | Разработка инструментальных средств для проверки формальных моделей |
| title_fullStr | Разработка инструментальных средств для проверки формальных моделей |
| title_full_unstemmed | Разработка инструментальных средств для проверки формальных моделей |
| title_short | Разработка инструментальных средств для проверки формальных моделей |
| title_sort | разработка инструментальных средств для проверки формальных моделей |
| topic | Інструментальні засоби і середовища програмування |
| topic_facet | Інструментальні засоби і середовища програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/1495 |
| work_keys_str_mv | AT kolčinav razrabotkainstrumentalʹnyhsredstvdlâproverkiformalʹnyhmodelei AT kolčinav developingsoftwaretoolsformodelchecking |