Home > ENGINEERING > COMPUTER > CS_TECHREP > 681
Yoonsik Cheon, The University of Texas at El PasoFollow Melisa Vela, The University of Texas at El PasoFollow
9-2010
Technical Report: UTEP-CS-10-26
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.
DOWNLOADS
Since April 02, 2012
Computer Engineering Commons
Advanced Search
Comments
Technical Report: UTEP-CS-10-26