01874nam a2200373Ia 450000500170000000800410001724500930005810000180015170000210016926000330019030000190022330000110024250000480025302000220030165000360032365000210035965000250038005000160040594300300042194400120045195300120046354600120047595300120048750505180049952002440101759100060126133600090126733700150127633800110129194200680130299800090137099900150137995201060139420260803094046.0251212s2009    xx            000 0 und d1 aSoftware verification and analysis : ban integrated, hands-on approach /cJanusz Laski.  aLaski, Janusz  aStanley, William  aNew York :bSpringer,c2009.  axviii, 224 p.:  c24 cm.  aIncludes bibliographic references and index  a978-1-84882-239-9  aComputer softwarexVerification  aComputer science  aSoftware engineering  a005.14 L33s  b0c0d0e1f0g0h0i0j0  b1c1d0  pHED2586  aEnglish  cCollLib  aPreface.- 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.  aThis 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.  a0  aText  aUnmediated  aVolume  2lcccBKarizalb2015-04-07 23:18:18drizale2015-04-07 23:18:18  a3428  c3415d3415  00102ddc4070aHEDbHEDcHEDd2025-12-21o005.14 L33spHED2586r2026-06-02 00:00:00w2025-12-21yBK