  In the paper we introduce graphical objects (called state diagrams) related
to functional programs. It is shown that state diagrams of functional programs
can be used to solve problems of verification of functional programs. The
proposed approach is illustrated by an example of verification of a sorting
program.
