Software Verification and Analysis: An Integrated, Hands-On Approach

by Janusz Laski, William Stanley, William Stanley

Book Overview

"The situation is good, but not hopeless" (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting tools for assessing and, if possible, improving software quality, specifically its correctness. The term quality assurance is avoided for it is this author's firm belief that in the current state of the art that goal is unattainable, a plethora of "gu- anteed" solutions to the problem notwithstanding...

• Format: Paperback
• Language: English
• ISBN: 1849968292
• ISBN13: 9781849968294
• Release Date: October 2010
• Publisher: Springer
• Length: 234 Pages
• Weight: 0.76 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"