Technique for the algorithms formulae investigation

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.