Title :
Technique for the algorithms formulae investigation
Author :
Dragan, Yaroslav ; Ovsyak, Volodymyr ; Sikora, Lyubomyr
Author_Institution :
Lviv Politechnic Nat. Univ., Ukraine
Abstract :
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.
Keywords :
algorithm theory; program verification; algorithm correctness verification; algorithms formulae investigation; mathematical induction; sequential algorithms theory; Computer languages; Electronic mail; Programming profession;
Conference_Titel :
Modern Problems of Radio Engineering, Telecommunications and Computer Science, 2004. Proceedings of the International Conference
Conference_Location :
Lviv-Slavsko, Ukraine
Print_ISBN :
966-553-380-0
