Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
Верификация программ: состояние, проблемы, результаты. I
Репозиторій DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Крывый, С.Л. | |
| dc.contributor.author | Максимец, А.Н. | |
| dc.date.accessioned | 2015-09-12T17:31:15Z | |
| dc.date.available | 2015-09-12T17:31:15Z | |
| dc.date.issued | 2013 | |
| dc.identifier.citation | Верификация программ: состояние, проблемы, результаты. I / С.Л. Крывый, А.Н. Максимец // Кибернетика и системный анализ. — 2013. — Т. 49, № 6. — С. 3-14. — Бібліогр.: 20 назв. — рос. | uk_UA |
| dc.identifier.issn | 0023-1274 | |
| dc.identifier.uri | http://dspace.nbuv.gov.ua/handle/123456789/86285 | |
| dc.description.abstract | Представлено аналiтичний огляд сучасних методiв верифiкацiї програмного забезпечення послiдовних, функцiональних, паралельних та розподiлених систем. Основну увагу придiлено методам верифiкацiї на основi властивостей абстрактних iнтерпретацiй, транзицiйних систем, мереж Петрi. | uk_UA |
| dc.description.abstract | An analytical survey of the modern verification methods for sequential functional, reactive, and distributed systems is presented. The main attention is given to the methods that are based on the properties of abstract interpretation, transition systems, and Petri nets. | uk_UA |
| dc.language.iso | ru | uk_UA |
| dc.publisher | Інститут кібернетики ім. В.М. Глушкова НАН України | uk_UA |
| dc.relation.ispartof | Кибернетика и системный анализ | |
| dc.subject | Кибернетика | uk_UA |
| dc.title | Верификация программ: состояние, проблемы, результаты. I | uk_UA |
| dc.title.alternative | Верифікація програм: стан, проблеми, результати | uk_UA |
| dc.title.alternative | Program verification: State of the art, problems, results | uk_UA |
| dc.type | Article | uk_UA |
| dc.status | published earlier | uk_UA |
| dc.identifier.udc | 51.681.3 |
