2025-02-23T09:55:09-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-86285%22&qt=morelikethis&rows=5
2025-02-23T09:55:09-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-86285%22&qt=morelikethis&rows=5
2025-02-23T09:55:09-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T09:55:09-05:00 DEBUG: Deserialized SOLR response
Верификация программ: состояние, проблемы, результаты. I
Представлено аналiтичний огляд сучасних методiв верифiкацiї програмного забезпечення послiдовних, функцiональних, паралельних та розподiлених систем. Основну увагу придiлено методам верифiкацiї на основi властивостей абстрактних iнтерпретацiй, транзицiйних систем, мереж Петрi....
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2013
|
| Series: | Кибернетика и системный анализ |
| Subjects: | |
| Online Access: | http://dspace.nbuv.gov.ua/handle/123456789/86285 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
irk-123456789-86285 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-862852015-09-13T03:01:48Z Верификация программ: состояние, проблемы, результаты. I Крывый, С.Л. Максимец, А.Н. Кибернетика Представлено аналiтичний огляд сучасних методiв верифiкацiї програмного забезпечення послiдовних, функцiональних, паралельних та розподiлених систем. Основну увагу придiлено методам верифiкацiї на основi властивостей абстрактних iнтерпретацiй, транзицiйних систем, мереж Петрi. 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. 2013 Article Верификация программ: состояние, проблемы, результаты. I / С.Л. Крывый, А.Н. Максимец // Кибернетика и системный анализ. — 2013. — Т. 49, № 6. — С. 3-14. — Бібліогр.: 20 назв. — рос. 0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/86285 51.681.3 ru Кибернетика и системный анализ Інститут кібернетики ім. В.М. Глушкова НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Кибернетика Кибернетика |
| spellingShingle |
Кибернетика Кибернетика Крывый, С.Л. Максимец, А.Н. Верификация программ: состояние, проблемы, результаты. I Кибернетика и системный анализ |
| description |
Представлено аналiтичний огляд сучасних методiв верифiкацiї програмного забезпечення послiдовних, функцiональних, паралельних та розподiлених систем. Основну увагу придiлено методам верифiкацiї на основi властивостей абстрактних iнтерпретацiй, транзицiйних систем, мереж Петрi. |
| format |
Article |
| author |
Крывый, С.Л. Максимец, А.Н. |
| author_facet |
Крывый, С.Л. Максимец, А.Н. |
| author_sort |
Крывый, С.Л. |
| title |
Верификация программ: состояние, проблемы, результаты. I |
| title_short |
Верификация программ: состояние, проблемы, результаты. I |
| title_full |
Верификация программ: состояние, проблемы, результаты. I |
| title_fullStr |
Верификация программ: состояние, проблемы, результаты. I |
| title_full_unstemmed |
Верификация программ: состояние, проблемы, результаты. I |
| title_sort |
верификация программ: состояние, проблемы, результаты. i |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| publishDate |
2013 |
| topic_facet |
Кибернетика |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/86285 |
| citation_txt |
Верификация программ: состояние, проблемы, результаты. I / С.Л. Крывый, А.Н. Максимец // Кибернетика и системный анализ. — 2013. — Т. 49, № 6. — С. 3-14. — Бібліогр.: 20 назв. — рос. |
| series |
Кибернетика и системный анализ |
| work_keys_str_mv |
AT kryvyjsl verifikaciâprogrammsostoânieproblemyrezulʹtatyi AT maksimecan verifikaciâprogrammsostoânieproblemyrezulʹtatyi |
| first_indexed |
2023-10-18T19:33:03Z |
| last_indexed |
2023-10-18T19:33:03Z |
| _version_ |
1796147267471671296 |