Обзор современных систем и методов верификации формальных моделей
Приведен обзор автоматических методов проверки правильности формальных моделей программных систем. Рассмотрены проверяемые свойства, методы редукции и современные инструментальные средства проверки моделей....
Збережено в:
Дата: | 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 Ukraineid |
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 |