Обзор современных систем и методов верификации формальных моделей
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Обзор современных систем и методов верификации формальных моделей
|
|
| Creator |
Колчин, А.В.
Летичевский, А.А. Потиенко, С.В. Песчаненко, В.С. |
|
| Subject |
Формальні методи розробки програмного забезпечення
|
|
| Description |
Приведен обзор автоматических методов проверки правильности формальных моделей программных систем. Рассмотрены проверяемые свойства, методы редукции и современные инструментальные средства проверки моделей.
|
|
| Date |
2015-09-24T13:39:50Z
2015-09-24T13:39:50Z 2012 |
|
| Identifier |
Обзор современных систем и методов верификации формальных моделей / А.В. Колчин, А.А. Летичевский, С.В. Потиенко, В.С. Песчаненко // Проблеми програмування. — 2012. — № 4. — С. 75-88. — Бібліогр.: 74 назв. — рос.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/86641 519.686 |
|
| Language |
ru
|
|
| Relation |
Проблеми програмування
|
|
| Publisher |
Інститут програмних систем НАН України
|
|