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

Разработан программный комплекс для автоматической проверки динамических свойств формальных моделей и построения тестовых сценариев. Описаны методы направленного поиска, а так же методы оптимизации обхода пространства поведения....

Full description

Saved in:

Bibliographic Details
Date:	2008
Main Author:	Колчин, А.В.
Format:	Article
Language:	Russian
Published:	Інститут програмних систем НАН України 2008
Series:	№2-3
Subjects:	Інструментальні засоби і середовища програмування
Online Access:	https://nasplib.isofts.kiev.ua/handle/123456789/1495
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:	Разработка инструментальных средств для проверки формальных моделей / А.В. Колчин // Пробл. програмув. — 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

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

Institution

Similar Items