dc.contributor.author	Roosen-Runge, Peter
dc.date.accessioned	2009-03-09T21:40:36Z
dc.date.available	2009-03-09T21:40:36Z
dc.date.issued	2008
dc.description.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.
dc.identifier.uri	http://hdl.handle.net/10315/2532
dc.language.iso	en
dc.publisher	© P. H. Roosen-Runge, 1999, 2003, 2007
dc.title	Software Verification Tools
dc.type	Book

Software Verification Tools

Files