Software Verification and Analysis: An Integrated, Hands-On Approach. Janusz Laski, William Stanley

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



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



Software Verification and Analysis: An Integrated, Hands-On Approach Janusz Laski, William Stanley ebook pdf
Publisher: Springer
Language: English
Page: 205
ISBN: 1848822391, 9781848822399

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.



MORE EBOOKS:
Rwanda (Modern World Nations) read







Tags: Software Verification and Analysis: An Integrated, Hands-On Approach ebook pdf djvu epub
Software Verification and Analysis: An Integrated, Hands-On Approach download pdf epub djvu
Download Software Verification and Analysis: An Integrated, Hands-On Approach free ebook pdf
Read Software Verification and Analysis: An Integrated, Hands-On Approach online book
Software Verification and Analysis: An Integrated, Hands-On Approach cheap ebook for kindle and nook
Software Verification and Analysis: An Integrated, Hands-On Approach download book
Janusz Laski, William Stanley ebooks
Software Verification and Analysis: An Integrated, Hands-On Approach download pdf rapidshare mediafire fileserve 4shared torrent