Наукова електронна бібліотека
періодичних видань НАН України

Разработка инструментальных средств для проверки формальных моделей

Репозиторій DSpace/Manakin

Показати простий запис статті

dc.contributor.author Колчин, А.В.
dc.date.accessioned 2008-07-31T15:07:45Z
dc.date.available 2008-07-31T15:07:45Z
dc.date.issued 2008
dc.identifier.citation Разработка инструментальных средств для проверки формальных моделей / А.В. Колчин // Пробл. програмув. — 2008. — N 2-3. — С. 622-626. — Бібліогр.: 25 назв. — рус. en_US
dc.identifier.issn 1727-4907
dc.identifier.uri http://dspace.nbuv.gov.ua/handle/123456789/1495
dc.description.abstract Разработан программный комплекс для автоматической проверки динамических свойств формальных моделей и построения тестовых сценариев. Описаны методы направленного поиска, а так же методы оптимизации обхода пространства поведения. en_US
dc.description.abstract 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. en_US
dc.language.iso ru en_US
dc.publisher Інститут програмних систем НАН України en_US
dc.relation.ispartofseries №2-3 en_US
dc.relation.ispartofseries С. 622-626 en_US
dc.subject Інструментальні засоби і середовища програмування en_US
dc.title Разработка инструментальных средств для проверки формальных моделей en_US
dc.title.alternative Developing software tools for model checking en_US
dc.type Article en_US
dc.status published earlier en_US
dc.identifier.udc 519.686.2


Файли у цій статті

Icon
Name: №2-3_2008_Kolchin.pdf
Розмір: 154.1Кб
Формат: PDF
Перегляд/Відкрити

Ця стаття з'являється у наступних колекціях

Показати простий запис статті

Пошук


Розширений пошук

Перегляд

Мій обліковий запис