Software Verification and Analysis: An Integrated, Hands-On Approach by Janusz LaskiSoftware Verification and Analysis: An Integrated, Hands-On Approach by Janusz Laski

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

byJanusz Laski

Paperback | October 13, 2010

Pricing and Purchase Info


Earn 585 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores


This book addresses the most important techniques in improving the correctness of software, including correctness by construction (top-down refinement), program proving, static analysis and dynamic, execution-based analysis (testing and debugging).Three major software verification techniques are discussed: Semantic program synthesis and analysis, static program analysis and dynamic program analysis. The correctness by construction paradigm is illustrated using the VDM-SL and the corresponding CSK Toolbox. The discussion involves the synthesis of direct and/or indirect specification, interpreting the latter and carrying out high-level testing of the specification.Problems are included in the text and one or more difficult exercises appear at the end of each chapter. Also, where appropriate, STAD's handling of the concepts is illustrated.Written for advanced students and professionals wishing to explore more than one technique, this comprehensive text will be invaluable with its unique integrated approach.
Title:Software Verification and Analysis: An Integrated, Hands-On ApproachFormat:PaperbackDimensions:252 pagesPublished:October 13, 2010Publisher:Springer LondonLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:1849968292

ISBN - 13:9781849968294

Look for similar items by category:


Table of Contents

Preface.- Introduction: What Do We Want to Know About the Program.- 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.- Intermediate Program Representation.- Program Dependencies.- What Can One Tell about a Program Without Its Execution: Static Analysis.- Is there a Bug in the Program?- Structural Program Testing.- Dynamic Program Analysis.- Index.

Editorial Reviews

From the reviews:"Software verification is a set of important activities in the software development process that leads to determining whether the software product fulfills requirements. . It could also be very useful to software engineering researchers and practitioners. The quality of the book is enhanced by the wide range of examples that illustrate various problems and offer appropriate solutions. The physical quality of the book is extremely high." (M. Ivanovic, ACM Computing Reviews, June, 2009)"Software verification and validation are conducted to help ensure that programs perform correctly. . While this book's subtitle indicates a 'hands-on approach,' it really takes a formal mathematical approach to describing software verification. . The book includes plenty of diagrams and figures, and it explains verification concepts with examples. This work is useful as a complement to hands-on testing books to detail the mathematical foundations of software verification. Summing Up: Recommended. Upper-division undergraduates through professionals." (H. J. Bender, Choice, Vol. 47 (3), November, 2009)