"A Tutorial on Functional Program Verification" by Yoonsik Cheon and Melisa Vela

Skip to main content

Departmental Technical Reports (CS)

Title

A Tutorial on Functional Program Verification

Authors

Yoonsik Cheon, University of Texas at El PasoFollow
Melisa Vela, University of Texas at El PasoFollow

Publication Date

9-2010

Comments

Technical Report: UTEP-CS-10-26

Abstract

This document gives a quick tutorial introduction to a functional program verification. In the functional program verification, a program is viewed as a mathematical function from one program state to another, and proving its correctness is essentially comparing two mathematical functions, the function computed by the program and the specification of the program, called an intended function. The reader is assumed to have some programming experience and to be familiar with such mathematical concepts as sets and functions.

Included in

Computer Engineering Commons

COinS