DSpace Repository

Software Verification Tools

Software Verification Tools

Show full item record

Title: Software Verification Tools
Author: Roosen-Runge, Peter
Abstract: This text explores the problem of verifying software in terms of a set of simple tools which can be used to symbolically evaluate and prove properties of pieces of
programs, represented either abstractly in functional terms, or by actual text. The tools can be thought of as roughly analogous to spelling and style checkers in word-processing; they reduce the labor of finding errors and provide some semi-automated aids to making corrections.
Type: Book
URI: http://hdl.handle.net/10315/2532
Published: © P. H. Roosen-Runge, 1999, 2003, 2007
Date: 2008

Files in this item

This item appears in the following Collection(s)