ISSN 0021-3454 (print version)
ISSN 2500-0381 (online version)
Menu

3
Issue
vol 60 / MARCH, 2017
Article
UDC 004.056.53

CRISIS OF INDUSTRIAL PROGRAMMING TECHNOLOGY, UNDECLARED CAPABILITIES, AND DON’T CARE

O. F. Nemolochnov
ITMO University; Department head, Professor


L. . Osovetsky
ITMO University; professor


Abstract. Verification of computational processes with graphical-analytical models driven by partially defined Boolean functions is considered. The problem under study consists in application of Boolean control box and cubic coatings to searching of undeclared capabilities and dead code as a result of don`t care. Examples of coatings for Boolean graph are presented, as well as verification of don`t care as a coating conjunction of relations-inequalities.
Keywords: programming technology, undeclared capabilities, verification, dead code, security threats