01759nam a2200361Ia 4500 20260803094046.0 251212s2009 xx 000 0 und d Software verification and analysis : an integrated, hands-on approach / Janusz Laski. Laski, Janusz Stanley, William New York : Springer, 2009. xviii, 224 p.: 24 cm. Includes bibliographic references and index 978-1-84882-239-9 Computer software Verification Computer science Software engineering 005.14 L33s 0 0 0 1 0 0 0 0 0 1 1 0 HED2586 English CollLib 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. This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included. 0 Text Unmediated Volume lcc BK rizal 2015-04-07 23:18:18 rizal 2015-04-07 23:18:18 3428 3415 3415 0 0 ddc 0 0 HED HED HED 2025-12-21 005.14 L33s HED2586 2026-06-02 00:00:00 2025-12-21 BK