DocumentCode
2068586
Title
Technique for the algorithms formulae investigation
Author
Dragan, Yaroslav ; Ovsyak, Volodymyr ; Sikora, Lyubomyr
Author_Institution
Lviv Politechnic Nat. Univ., Ukraine
fYear
2004
fDate
28-28 Feb. 2004
Firstpage
306
Lastpage
307
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;
fLanguage
English
Publisher
ieee
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
Type
conf
Filename
1365966
Link To Document