Запис Детальніше

Система доказательного программирования

Vernadsky National Library of Ukraine

Переглянути архів Інформація
 
 
Поле Співвідношення
 
Title Система доказательного программирования
 
Creator Летичевский, А.А. (мл.)
Мороховец, М.К.
Песчаненко, В.С.
 
Subject Дедуктивные методы
 
Description Описаны методы доказательства правильности программ в системе инсерционного моделирования, ее архитектура и функциональные возможности, даны основные сведения о нем. Рассмотрена инсерционная машина метода Флойда, методы проверки выполнимости формул и их использование при доказательстве правильности программ.
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.
Описано методи доведення правильності програм у системі інсерційного моделювання, її архітектура та функціональні можливості, подано основні відомості про нього. Розглянуто інсерційну машину методу Флойда, методи перевірки виконуваності формул та їх використання у доведенні правильності програм.
 
Date 2015-06-14T19:22:49Z
2015-06-14T19:22:49Z
2012
 
Type Article
 
Identifier Система доказательного программирования / А.А. Летичевский (мл.), М.К. Мороховец, В.С. Песчаненко // Управляющие системы и машины. — 2012. — № 6. — С. 64-71. — Бібліогр.: 18 назв. — рос.
0130-5395
http://dspace.nbuv.gov.ua/handle/123456789/83110
519.686.2
 
Language ru
 
Relation Управляющие системы и машины
 
Publisher Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України