Обзор современных систем и методов верификации формальных моделей
Приведен обзор автоматических методов проверки правильности формальных моделей программных систем. Рассмотрены проверяемые свойства, методы редукции и современные инструментальные средства проверки моделей....
Gespeichert in:
| Datum: | 2012 |
|---|---|
| Hauptverfasser: | , , , |
| Sprache: | Russian |
| Veröffentlicht: |
Інститут програмних систем НАН України
2012
|
| Schriftenreihe: | Проблеми програмування |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Обзор современных систем и методов верификации формальных моделей / А.В. Колчин, А.А. Летичевский, С.В. Потиенко, В.С. Песчаненко // Проблеми програмування. — 2012. — № 4. — С. 75-88. — Бібліогр.: 74 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
oai:nasplib.isofts.kiev.ua:123456789-86641 |
|---|---|
| record_format |
dspace |
| spelling |
oai:nasplib.isofts.kiev.ua:123456789-866412025-02-23T17:16:49Z Обзор современных систем и методов верификации формальных моделей Колчин, А.В. Летичевский, А.А. Потиенко, С.В. Песчаненко, В.С. Формальні методи розробки програмного забезпечення Приведен обзор автоматических методов проверки правильности формальных моделей программных систем. Рассмотрены проверяемые свойства, методы редукции и современные инструментальные средства проверки моделей. 2012 Обзор современных систем и методов верификации формальных моделей / А.В. Колчин, А.А. Летичевский, С.В. Потиенко, В.С. Песчаненко // Проблеми програмування. — 2012. — № 4. — С. 75-88. — Бібліогр.: 74 назв. — рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/86641 519.686 ru Проблеми програмування application/pdf Інститут програмних систем НАН України |
| 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 |
Формальні методи розробки програмного забезпечення |
| 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 |
2025-07-22T04:15:58Z |
| last_indexed |
2025-07-22T04:15:58Z |
| _version_ |
1838319150736343040 |