Part 1. General problems of the intellectual systems theory

Verification of functional programs by state diagrams

A. M. Mironov

Lomonosov Moscow State University

Abstract: In the paper we introduce graphical objects (called state diagrams) related to functional programs. It is shown that the state diagrams 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.

Keywords: program verification, functional programs, state diagrams.