2020/01/10 by Andrew M. Mironov, Mironov, Andrew M.
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Software Testing and Debugging Techniques #cs.LO
paper · pdf · doi:10.48550/arxiv.2001.04405
arXiv admin note: text overlap with arXiv:1604.04240
arxiv created 2020/01/10 · arxiv updated 2020/01/14
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.