519.686.2
Система доказательного программирования / А. А. (мл.) Летичевский, М. К. Мороховец, В. С. Песчаненко //
УСиМ: Управляющие системы и машины : междунар. науч. журн. - . - N 6. - С. 64-71. - Библиогр. в конце ст. - ISSN 0130-5395.
(Шифр в БД У481695/2012/6)
УДК
519.686.2

Ключові слова: информационные технологии -- інформаційні технології -- программный продукт -- програмний продукт -- доказательное программирование -- доказове програмування --
Анотація:
Описаны методы доказательства правильности программ в системе инсерционного моделирования, ее архитектура и функциональные возможности, даны основные сведения о нем. Рассмотрена инсерционная машина метода Флойда, методы проверки выполнимости формул и их использование при доказательстве правильности программ.
Описано методи доказу правильності програм в системі інсерційного моделювання, її архітектура і функціональні можливості, дані основні відомості про нього. Розглянуто інсерційну машину методу Флойда, методи перевірки виконуваності формул та їх використання при доказі правильності програм.
Додаткові точки доступу: