Обзор современных систем и методов верификации формальных моделей

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

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2012
Автори: Колчин, А.В., Летичевский, А.А., Потиенко, С.В., Песчаненко, В.С.
Мова:Russian
Опубліковано: Інститут програмних систем НАН України 2012
Назва видання:Проблеми програмування
Теми:
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/86641
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Обзор современных систем и методов верификации формальных моделей / А.В. Колчин, А.А. Летичевский, С.В. Потиенко, В.С. Песчаненко // Проблеми програмування. — 2012. — № 4. — С. 75-88. — Бібліогр.: 74 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-86641
record_format dspace
spelling irk-123456789-866412015-09-25T03:01:56Z Обзор современных систем и методов верификации формальных моделей Колчин, А.В. Летичевский, А.А. Потиенко, С.В. Песчаненко, В.С. Формальні методи розробки програмного забезпечення Приведен обзор автоматических методов проверки правильности формальных моделей программных систем. Рассмотрены проверяемые свойства, методы редукции и современные инструментальные средства проверки моделей. 2012 Обзор современных систем и методов верификации формальных моделей / А.В. Колчин, А.А. Летичевский, С.В. Потиенко, В.С. Песчаненко // Проблеми програмування. — 2012. — № 4. — С. 75-88. — Бібліогр.: 74 назв. — рос. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/86641 519.686 ru Проблеми програмування Інститут програмних систем НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Russian
topic Формальні методи розробки програмного забезпечення
Формальні методи розробки програмного забезпечення
spellingShingle Формальні методи розробки програмного забезпечення
Формальні методи розробки програмного забезпечення
Колчин, А.В.
Летичевский, А.А.
Потиенко, С.В.
Песчаненко, В.С.
Обзор современных систем и методов верификации формальных моделей
Проблеми програмування
description Приведен обзор автоматических методов проверки правильности формальных моделей программных систем. Рассмотрены проверяемые свойства, методы редукции и современные инструментальные средства проверки моделей.
author Колчин, А.В.
Летичевский, А.А.
Потиенко, С.В.
Песчаненко, В.С.
author_facet Колчин, А.В.
Летичевский, А.А.
Потиенко, С.В.
Песчаненко, В.С.
author_sort Колчин, А.В.
title Обзор современных систем и методов верификации формальных моделей
title_short Обзор современных систем и методов верификации формальных моделей
title_full Обзор современных систем и методов верификации формальных моделей
title_fullStr Обзор современных систем и методов верификации формальных моделей
title_full_unstemmed Обзор современных систем и методов верификации формальных моделей
title_sort обзор современных систем и методов верификации формальных моделей
publisher Інститут програмних систем НАН України
publishDate 2012
topic_facet Формальні методи розробки програмного забезпечення
url http://dspace.nbuv.gov.ua/handle/123456789/86641
citation_txt Обзор современных систем и методов верификации формальных моделей / А.В. Колчин, А.А. Летичевский, С.В. Потиенко, В.С. Песчаненко // Проблеми програмування. — 2012. — № 4. — С. 75-88. — Бібліогр.: 74 назв. — рос.
series Проблеми програмування
work_keys_str_mv AT kolčinav obzorsovremennyhsistemimetodovverifikaciiformalʹnyhmodelej
AT letičevskijaa obzorsovremennyhsistemimetodovverifikaciiformalʹnyhmodelej
AT potienkosv obzorsovremennyhsistemimetodovverifikaciiformalʹnyhmodelej
AT pesčanenkovs obzorsovremennyhsistemimetodovverifikaciiformalʹnyhmodelej
first_indexed 2023-10-18T19:33:49Z
last_indexed 2023-10-18T19:33:49Z
_version_ 1796147301955141632