2025-02-23T00:21:18-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-86641%22&qt=morelikethis&rows=5
2025-02-23T00:21:18-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-86641%22&qt=morelikethis&rows=5
2025-02-23T00:21:18-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T00:21:18-05:00 DEBUG: Deserialized SOLR response
Обзор современных систем и методов верификации формальных моделей

Обзор современных систем и методов верификации формальных моделей

Приведен обзор автоматических методов проверки правильности формальных моделей программных систем. Рассмотрены проверяемые свойства, методы редукции и современные инструментальные средства проверки моделей....

Full description

Saved in:
Bibliographic Details
Main Authors: Колчин, А.В., Летичевский, А.А., Потиенко, С.В., Песчаненко, В.С.
Language:Russian
Published: Інститут програмних систем НАН України 2012
Series:Проблеми програмування
Subjects:
Формальні методи розробки програмного забезпечення
Online Access:http://dspace.nbuv.gov.ua/handle/123456789/86641
Tags: Add Tag
No Tags, Be the first to tag this record!
id irk-123456789-86641
record_format dspace
spelling irk-123456789-866412015-09-25T03:01:56Z Обзор современных систем и методов верификации формальных моделей Колчин, А.В. Летичевский, А.А. Потиенко, С.В. Песчаненко, В.С. Формальні методи розробки програмного забезпечення Приведен обзор автоматических методов проверки правильности формальных моделей программных систем. Рассмотрены проверяемые свойства, методы редукции и современные инструментальные средства проверки моделей. 2012 Обзор современных систем и методов верификации формальных моделей / А.В. Колчин, А.А. Летичевский, С.В. Потиенко, В.С. Песчаненко // Проблеми програмування. — 2012. — № 4. — С. 75-88. — Бібліогр.: 74 назв. — рос. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/86641 519.686 ru Проблеми програмування Інститут програмних систем НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Russian
topic Формальні методи розробки програмного забезпечення
Формальні методи розробки програмного забезпечення
spellingShingle Формальні методи розробки програмного забезпечення
Формальні методи розробки програмного забезпечення
Колчин, А.В.
Летичевский, А.А.
Потиенко, С.В.
Песчаненко, В.С.
Обзор современных систем и методов верификации формальных моделей
Проблеми програмування
description Приведен обзор автоматических методов проверки правильности формальных моделей программных систем. Рассмотрены проверяемые свойства, методы редукции и современные инструментальные средства проверки моделей.
author Колчин, А.В.
Летичевский, А.А.
Потиенко, С.В.
Песчаненко, В.С.
author_facet Колчин, А.В.
Летичевский, А.А.
Потиенко, С.В.
Песчаненко, В.С.
author_sort Колчин, А.В.
title Обзор современных систем и методов верификации формальных моделей
title_short Обзор современных систем и методов верификации формальных моделей
title_full Обзор современных систем и методов верификации формальных моделей
title_fullStr Обзор современных систем и методов верификации формальных моделей
title_full_unstemmed Обзор современных систем и методов верификации формальных моделей
title_sort обзор современных систем и методов верификации формальных моделей
publisher Інститут програмних систем НАН України
publishDate 2012
topic_facet Формальні методи розробки програмного забезпечення
url http://dspace.nbuv.gov.ua/handle/123456789/86641
citation_txt Обзор современных систем и методов верификации формальных моделей / А.В. Колчин, А.А. Летичевский, С.В. Потиенко, В.С. Песчаненко // Проблеми програмування. — 2012. — № 4. — С. 75-88. — Бібліогр.: 74 назв. — рос.
series Проблеми програмування
work_keys_str_mv AT kolčinav obzorsovremennyhsistemimetodovverifikaciiformalʹnyhmodelej
AT letičevskijaa obzorsovremennyhsistemimetodovverifikaciiformalʹnyhmodelej
AT potienkosv obzorsovremennyhsistemimetodovverifikaciiformalʹnyhmodelej
AT pesčanenkovs obzorsovremennyhsistemimetodovverifikaciiformalʹnyhmodelej
first_indexed 2023-10-18T19:33:49Z
last_indexed 2023-10-18T19:33:49Z
_version_ 1796147301955141632

Similar Items