Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
Верификация программ: состояние, проблемы, результаты. II
Репозиторій 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 | 2017-04-11T18:39:38Z | |
| dc.date.available | 2017-04-11T18:39:38Z | |
| dc.date.issued | 2014 | |
| dc.identifier.citation | Верификация программ: состояние, проблемы, результаты. II / С.Л. Крывый, А.Н. Максимец // Кибернетика и системный анализ. — 2014. — Т. 50, № 1. — С. 11-20. — Бібліогр.: 11 назв. — рос. | uk_UA |
| dc.identifier.uri | http://dspace.nbuv.gov.ua/handle/123456789/115730 | |
| dc.description.abstract | Рассмотрены современные методы верификации программного обеспечения последовательных, функциональных, параллельных и распределенных систем. Основное внимание уделяется методам верификации на основе свойств абстрактных интерпретаций, транзиционных систем, сетей Петри. | uk_UA |
| dc.description.abstract | Розглянуто сучасні методи верифікації програмного забезпечення послідовних, функціональних, паралельних та розподілених систем. Основну увагу приділено методам верифікації на основі властивостей абстрактних інтерпретацій, транзиційних систем, мереж Петрі. | uk_UA |
| dc.description.abstract | An analytical survey of modern verification methods for sequential functional, reactive, and distributed systems is presented. The emphasis is on methods based on 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 | Верификация программ: состояние, проблемы, результаты. II | uk_UA |
| dc.title.alternative | Верифікація програм: стан, проблеми, результати. II | uk_UA |
| dc.title.alternative | Program verification: State of the art, problems, and results. II | uk_UA |
| dc.type | Article | uk_UA |
| dc.status | published earlier | uk_UA |
| dc.identifier.udc | 51.681.3 |
