Показати простий запис статті
dc.contributor.author |
Колчин, А.В. |
|
dc.contributor.author |
Летичевский, А.А. |
|
dc.contributor.author |
Потиенко, С.В. |
|
dc.contributor.author |
Песчаненко, В.С. |
|
dc.date.accessioned |
2015-09-24T13:39:50Z |
|
dc.date.available |
2015-09-24T13:39:50Z |
|
dc.date.issued |
2012 |
|
dc.identifier.citation |
Обзор современных систем и методов верификации формальных моделей / А.В. Колчин, А.А. Летичевский, С.В. Потиенко, В.С. Песчаненко // Проблеми програмування. — 2012. — № 4. — С. 75-88. — Бібліогр.: 74 назв. — рос. |
uk_UA |
dc.identifier.issn |
1727-4907 |
|
dc.identifier.uri |
http://dspace.nbuv.gov.ua/handle/123456789/86641 |
|
dc.description.abstract |
Приведен обзор автоматических методов проверки правильности формальных моделей программных систем. Рассмотрены проверяемые свойства, методы редукции и современные инструментальные средства проверки моделей. |
uk_UA |
dc.language.iso |
ru |
uk_UA |
dc.publisher |
Інститут програмних систем НАН України |
uk_UA |
dc.relation.ispartof |
Проблеми програмування |
|
dc.subject |
Формальні методи розробки програмного забезпечення |
uk_UA |
dc.title |
Обзор современных систем и методов верификации формальных моделей |
uk_UA |
dc.status |
published earlier |
uk_UA |
dc.identifier.udc |
519.686 |
|
Файли у цій статті
Ця стаття з'являється у наступних колекціях
Показати простий запис статті