Software Verification Tools

dc.contributor.authorRoosen-Runge, Peter
dc.date.accessioned2009-03-09T21:40:36Z
dc.date.available2009-03-09T21:40:36Z
dc.date.issued2008
dc.description.abstractThis 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.urihttp://hdl.handle.net/10315/2532
dc.language.isoen
dc.publisher© P. H. Roosen-Runge, 1999, 2003, 2007
dc.titleSoftware Verification Tools
dc.typeBook

Files

Original bundle
Now showing 1 - 4 of 4
Loading...
Thumbnail Image
Name:
1_SVT0-3.pdf
Size:
95.72 KB
Format:
Adobe Portable Document Format
Loading...
Thumbnail Image
Name:
2_SVT4-6.pdf
Size:
239.08 KB
Format:
Adobe Portable Document Format
Loading...
Thumbnail Image
Name:
3_SVT7-9.pdf
Size:
160.7 KB
Format:
Adobe Portable Document Format
Loading...
Thumbnail Image
Name:
4_SVT References.pdf
Size:
15.19 KB
Format:
Adobe Portable Document Format
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.83 KB
Format:
Item-specific license agreed upon to submission
Description: