Graphical programming and program correctness proof

The next generation visual programming technology (VTR), which uses so-called R-charts (ISO/IEC 8631) is defined here. R-charts - are being the oriented graphs loaded through the arcs. The main difference of VTR is its simplicity and single graphic form of the program writing during its entire life cycle, which ensures new principles of design, debugging, visual and compact (by more than one order) writing compared to writing in existing programming languages (PL). Due to its simplicity, it is acceptable to broad circle of the specialists, but not only to the programmers. Graphic paradigm of VTR is set, which is based on a single graphical shell for all existing PLs without goto, if, for, while, break, labels, brackets: begin-end, {-} etc. Evidentiary, linguistic, parallel, three- and multidimensional programming is introduced for controlling and computing systems. Colour is used extensively for writing of graphic programs. It is integrated well with available programming systems. At present, graphic programming VTR is realized in the environment Qt Creator C++ (www.glushkov.org). This allowed carrying out justified analysis of VTR advantages in comparison with traditional technologies that use modern PLs, UML, and OOP.