Система доказательного программирования
Описаны методы доказательства правильности программ в системе инсерционного моделирования, ее архитектура и функциональные возможности, даны основные сведения о нем. Рассмотрена инсерционная машина метода Флойда, методы проверки выполнимости формул и их использование при доказательстве правильности...
Збережено в:
| Дата: | 2012 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
2012
|
| Назва видання: | Управляющие системы и машины |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/83110 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Система доказательного программирования / А.А. Летичевский (мл.), М.К. Мороховец, В.С. Песчаненко // Управляющие системы и машины. — 2012. — № 6. — С. 64-71. — Бібліогр.: 18 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-83110 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-831102015-06-15T03:02:10Z Система доказательного программирования Летичевский, А.А. (мл.) Мороховец, М.К. Песчаненко, В.С. Дедуктивные методы Описаны методы доказательства правильности программ в системе инсерционного моделирования, ее архитектура и функциональные возможности, даны основные сведения о нем. Рассмотрена инсерционная машина метода Флойда, методы проверки выполнимости формул и их использование при доказательстве правильности программ. The methods are described of proving the programs correctness within the Insertion Modeling System. The architecture of the system and its functional possibilities are described, the basic notions of insertion modeling are presented. An insertion machine for Floyd’s method is presented, the methods of the satisfiability checking of the formulae, and their usage for proving the program correctness are described. Описано методи доведення правильності програм у системі інсерційного моделювання, її архітектура та функціональні можливості, подано основні відомості про нього. Розглянуто інсерційну машину методу Флойда, методи перевірки виконуваності формул та їх використання у доведенні правильності програм. 2012 Article Система доказательного программирования / А.А. Летичевский (мл.), М.К. Мороховец, В.С. Песчаненко // Управляющие системы и машины. — 2012. — № 6. — С. 64-71. — Бібліогр.: 18 назв. — рос. 0130-5395 http://dspace.nbuv.gov.ua/handle/123456789/83110 519.686.2 ru Управляющие системы и машины Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Дедуктивные методы Дедуктивные методы |
| spellingShingle |
Дедуктивные методы Дедуктивные методы Летичевский, А.А. (мл.) Мороховец, М.К. Песчаненко, В.С. Система доказательного программирования Управляющие системы и машины |
| description |
Описаны методы доказательства правильности программ в системе инсерционного моделирования, ее архитектура и функциональные возможности, даны основные сведения о нем. Рассмотрена инсерционная машина метода Флойда, методы проверки выполнимости формул и их использование при доказательстве правильности программ. |
| format |
Article |
| 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/83110 |
| citation_txt |
Система доказательного программирования / А.А. Летичевский (мл.), М.К. Мороховец, В.С. Песчаненко // Управляющие системы и машины. — 2012. — № 6. — С. 64-71. — Бібліогр.: 18 назв. — рос. |
| series |
Управляющие системы и машины |
| work_keys_str_mv |
AT letičevskijaaml sistemadokazatelʹnogoprogrammirovaniâ AT morohovecmk sistemadokazatelʹnogoprogrammirovaniâ AT pesčanenkovs sistemadokazatelʹnogoprogrammirovaniâ |
| first_indexed |
2023-10-18T19:26:05Z |
| last_indexed |
2023-10-18T19:26:05Z |
| _version_ |
1796146942541037568 |