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

by Janusz Laski, William Stanley, William Stanley

Book Overview

The Semantic Analysis.- Why Not Write Correct Software the First Time?.- How to Prove a Program Correct: Programs Without Loops.- How to Prove a Program Correct: Iterative Programs.- Prepare Test for Any Implementation: Black-Box Testing.- Static Analysis.- Intermediate Program Representation.- Program Dependencies.- What Can One Tell About a Program Without Its Execution: Static Analysis.- Dynamic Analysis.- Is There a Bug in the Program? Structural...

• 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"