Technique for the algorithms formulae investigation
Yaroslav P. Dragan, V. Ovsyak, Lubomyr Sikora · International Conference on Modern Problems of Radio Engineering, Telecommunications and Computer Science · 2004
A technique of algorithms formulae investigation which has been developed on the ground of mathematical induction is described. The representation of algorithms by formulae which is given by sequential algorithms theory has some advantages over nonformally algorithm describing which is given by means of publications. The proposed technique ensures the correctness verification of algorithm description for appropriate processes.